Concurrent semantics for the -calculus (1995)

by Ugo Montanari, Marco Pistore
Venue:Electronic Notes in Theoretical Computer Science