Locality and non-interleaving semantics in calculi for mobile processes
Locality and non-interleaving semantics in calculi for mobile processes
Davide Sangiorgi
Details
OL Work ID
OL8324435W
Subjects
Calculus
Pi
Find this book
Goodreads
Open Library