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.00  ·  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, 253 pages
Published March 12th 1999 by World Scientific Publishing Company
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 of 4)
filter  |  sort: default (?)  |  Rating Details
Adarsh Dinesh
Adarsh Dinesh marked it as to-read
Jul 09, 2016
Philip
Philip marked it as to-read
Mar 30, 2016
Jonathan Salwan
Jonathan Salwan marked it as to-read
Oct 29, 2015
Martin Hecker
Martin Hecker rated it really liked it
Apr 05, 2015
There are no discussion topics on this book yet. Be the first to start one »

Share This Book