occam-pi
From MaRDI portal
Software:19199
No author found.
Related Items (5)
BlenX Static and Dynamic Semantics ⋮ Denotational semantics of channel mobility in UTP-CSP ⋮ Separation Logic Semantics for Communicating Processes ⋮ Cause-effect structures. An algebra of nets with examples of applications ⋮ PiStache: Implementing π-Calculus in Scala
This page was built for software: occam-pi
