Skip to Main content Skip to Navigation
Conference papers

Counters in Kappa: Semantics, Simulation, and Static Analysis

Complete list of metadatas

https://hal.inria.fr/hal-02397876
Contributor : Jérôme Feret <>
Submitted on : Friday, December 6, 2019 - 5:14:19 PM
Last modification on : Tuesday, August 4, 2020 - 3:46:52 AM

Links full text

Identifiers

Citation

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⟩

Share

Metrics

Record views

65