Searching for "A Theory of Bisimulation for the pi-Calculus." – sorted by Relevance.
-
A Theory of Bisimulation for the pi-calculus
- A Theory of Bisimulation for the -calculus Davide Sangiorgi Laboratory for Foundations
- Cited by 23 (0 self) – Add To MetaCart

