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.