TYPE AND EFFECT SYSTEMS: BEHAVIOURS FOR CONCURRENCY
Description:
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 of key components of such systems. It builds on and extends the notion of types, popular in many sequential programming languages as a technique for catching certain kinds of errors already at program development time, by incorporating behaviours (or structured effects) that are able to track the information flow in the presence of procedures, channel based communication, and the dynamic creation of network topologies. The technical development is performed for a language based on Concurrent ML.
Best prices to buy, sell, or rent ISBN 9781860941542
Frequently Asked Questions about TYPE AND EFFECT SYSTEMS: BEHAVIOURS FOR CONCURRENCY
You can buy the TYPE AND EFFECT SYSTEMS: BEHAVIOURS FOR CONCURRENCY book at one of 20+ online bookstores with BookScouter, the website that helps find the best deal across the web. Currently, the best offer comes from and is $ for the .
The price for the book starts from $98.99 on Amazon and is available from 1 sellers at the moment.
If you’re interested in selling back the TYPE AND EFFECT SYSTEMS: BEHAVIOURS FOR CONCURRENCY book, you can always look up BookScouter for the best deal. BookScouter checks 30+ buyback vendors with a single search and gives you actual information on buyback pricing instantly.
As for the TYPE AND EFFECT SYSTEMS: BEHAVIOURS FOR CONCURRENCY book, the best buyback offer comes from and is $ for the book in good condition.
Not enough insights yet.
Not enough insights yet.