Locality and Non-interleaving Semantics in calculi for mobile processes (1994)

Cached

Download Links

by Davide Sangiorgi
Venue:Theoretical Computer Science
Citations:23 - 4 self