A Tile-Based Coordination View of Asynchronous Pi-Calculus (1997)

by G L Ferrari, U Montanari
Venue:In: I. Pr'ivara, P. Ruzicka, Eds., Mathematical Foundations of Computer Science