Action structures for the (pi)-calculus
Action structures for the (pi)-calculus
6 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 Robin Milner
A calculus of communicating systems
A complete axiomatisation for
A complete axiomatisation for observational congruence of finite-state behaviours
A theory of type polymorphism
A theory of type polymorphism in programming
Changes to the standard ML cor
Changes to the standard ML core language
Co-induction in relational sem
Co-induction in relational semantics
Commentary on Standard ML