Counters in Kappa: Semantics, Simulation, and Static Analysis - Archive ouverte HAL Access content directly
Conference Papers Year : 2019

Counters in Kappa: Semantics, Simulation, and Static Analysis

(1) , (2) , (3, 4, 5)
1
2
3
4
5

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⟩
56 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More