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, 268 pages
Published March 15th 1999 by Imperial College Press
To see what your friends thought of this book, please sign up.