Roberto Gorrieri
-
Vertical implementation
Information and Computation
An Operational Petri Net Semantics for A 2CCS
Fundamenta Informaticae