Conference Papers
Year : 2019
Jérôme Feret : Connect in order to contact the contributor
https://hal.inria.fr/hal-02397876
Submitted on : Friday, December 6, 2019-5:14:19 PM
Last modification on : Thursday, January 26, 2023-4:02:43 AM
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⟩
Collections
56
View
0
Download