Locality and non-interleaving semantics in calculi for mobil
Locality and non-interleaving semantics in calculi for mobile processes
12 min read
Rate this book:
Buy This Book
As an Amazon Associate and Bookshop.org affiliate, BookOrb earns from qualifying purchases.
Know this book?
Help other readers discover this title by sharing your thoughts. Be the first to write a review.
Share Your Thoughts
Sign in to write a review.
More by Davide Sangiorgi
A theory of bisimulation for t
A theory of bisimulation for the (lambda)-calculus
Advanced topics in bisimulatio
Advanced topics in bisimulation and coinduction
An introduction to bisimulation and coinduction
Introduction to Bisimulation a
Introduction to Bisimulation and Coinduction
Pi-Calculus
Pi-Calculus