Goodreads helps you keep track of books you want to read.
Start by marking “Type and Effect Systems: Behaviours for Concurrency” as Want to Read:
Type and Effect Systems: Behaviours for Concurrency
Concurrent and distributed processes occur everywhere: in embedded systems, in information networks and databases, and in the form of applets roaming around on the World-Wide-Web. This book presents and develops state-of-the-art validation techniques for detecting safety violations; the focus is on the correctness of techniques that suffice for fully automatic validation o ...more
Hardcover, 253 pages
Published March 12th 1999 by World Scientific Publishing Company
To see what your friends thought of this book, please sign up.