Type and Effect Systems: Behaviours for Concurrency
Enlarge cover
Rate this book
Clear rating

Type and Effect Systems: Behaviours for Concurrency

0.0 of 5 stars 0.00  ·  rating details  ·  0 ratings  ·  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 0-0 of 0)
filter  |  sort: default (?)  |  rating details
There are no discussion topics on this book yet. Be the first to start one »

Share This Book