A complete axiomatisation for observational congruence of fi
A complete axiomatisation for observational congruence of finite-state behaviours
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 theory of type polymorphism
A theory of type polymorphism in programming
Action structures for the (pi)
Action structures for the (pi)-calculus
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