The following pages link to occam-pi (Q19199):
Displaying 5 items.
- Denotational semantics of channel mobility in UTP-CSP (Q1982650) (← links)
- Cause-effect structures. An algebra of nets with examples of applications (Q2312723) (← links)
- PiStache: Implementing π-Calculus in Scala (Q3098054) (← links)
- BlenX Static and Dynamic Semantics (Q3184664) (← links)
- Separation Logic Semantics for Communicating Processes (Q5415605) (← links)