The following pages link to (Q4536438):
Displaying 4 items.
- Aliasing models for mobile objects (Q1854530) (← links)
- The \(C_\pi\)-calculus: a model for confidential name passing (Q1996859) (← links)
- The \(\pi\)-calculus: A theory of mobile processes (Q2734510) (← links)
- An executable specification of asynchronous pi-calculus semantics and may testing in Maude 2.0 (Q2851059) (← links)