Visit our Christmas Gift Finder
Type And Effect Systems: Behaviours For Concurrency (Hardback)
  • Type And Effect Systems: Behaviours For Concurrency (Hardback)
zoom

Type And Effect Systems: Behaviours For Concurrency (Hardback)

(author), (author), (author)
£79.00
Hardback 268 Pages / Published: 15/03/1999
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
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.

Publisher: Imperial College Press
ISBN: 9781860941542
Number of pages: 268
Weight: 499 g
Dimensions: 230 x 161 x 20 mm

You may also be interested in...

Cybersecurity and Cyberwar
Added to basket
Surveillance Valley
Added to basket
£14.99
Paperback
The Cyber Effect
Added to basket
£10.99
Paperback
Breaking and Entering
Added to basket
Intercept
Added to basket
£8.99
Paperback
Exploding Data
Added to basket
£20.00
Hardback
Hello World
Added to basket
£8.99
Paperback
Privacy
Added to basket
£10.99
Paperback
Hacking For Dummies
Added to basket
£22.99
Paperback
Hello World
Added to basket
£18.99
Hardback
DarkMarket
Added to basket
£10.99
Paperback
Creative Superpowers
Added to basket
Data and Goliath
Added to basket
£12.99
Paperback
Everyday Cryptography
Added to basket
Official (ISC)2 Guide to the CISSP CBK
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.