Similar Items: A Truly Concurrent Semantics for Reversible CCS
- Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets
- Finitary Truly Concurrent Bisimulations
- Full abstraction for fair testing in CCS (expanded version)
- A Distribution Law for CCS and a New Congruence Result for the pi-calculus
- Sculptures in Concurrency
- Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's Merge