Concurrent semantics for the -calculus (0)

by Ugo Montanari, Marco Pistore