Counters in Kappa: Semantics, Simulation, and Static Analysis - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2019

Dates and versions

hal-02397876 , version 1 (06-12-2019)

Identifiers

Cite

Pierre Boutillier, Ioana Cristescu, Jérôme Feret. Counters in Kappa: Semantics, Simulation, and Static Analysis. ESOP 2019 - 28th European Symposium on Programming, Apr 2019, Prague, Czech Republic. pp.176-204, ⟨10.1007/978-3-030-17184-1_7⟩. ⟨hal-02397876⟩
71 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More