Searching for "A Fully Abstract Semantics for Causality in the \pi-Calculus." – sorted by Relevance.
-
A Fully Abstract Semantics for Causality in the Pi-Calculus
- A fully abstract semantics for causality in the -calculus Michele Boreale Davide Sangiorgi
- Cited by 7 (0 self) – Add To MetaCart
-
The π-Calculus: Notes on Labelled Semantics
- Processes. Prentice Hall, 1985. [Jon93] C.B. Jones. A pi-calculus Semantics for an Object-Based Design
- Add To MetaCart

