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
Enlarge cover
Rate this book
Clear rating
Open Preview

Type and Effect Systems: Behaviours for Concurrency

really liked it 4.0  ·  Rating details ·  1 Rating  ·  0 Reviews
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
More Details... edit details

Friend Reviews

To see what your friends thought of this book, please sign up.

Reader Q&A

To ask other readers questions about Type and Effect Systems, please sign up.

Be the first to ask a question about Type and Effect Systems

This book is not yet featured on Listopia. Add this book to your favorite list »

Community Reviews

(showing 1-4)
Rating details
Sort: Default
|
Filter
Martin Hecker
rated it really liked it
Apr 05, 2015
Jonathan Salwan
marked it as to-read
Oct 29, 2015
Philip
marked it as to-read
Mar 30, 2016
Adarsh Dinesh
marked it as to-read
Jul 09, 2016
There are no discussion topics on this book yet. Be the first to start one »