Counters in Kappa: Semantics, Simulation, and Static Analysis.

Pierre Boutillier, Ioana Cristescu, Jrme Feret

Browse the full ESOP paper archive.