“A Distributed Pi-Calculus”
E1782770
UNEXPLORED
“A Distributed Pi-Calculus” is a theoretical computer science work that extends the π-calculus to model and reason about distributed and mobile systems.
All labels observed (2)
| Label | Occurrences |
|---|---|
| A Distributed Pi-Calculus | 1 |
| “A Distributed Pi-Calculus” canonical | 1 |
Referenced by (2)
Full triples — surface form annotated when it differs from this entity's canonical label.
linked to: “A Distributed Pi-Calculus”