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 despatched 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...

Data and Goliath
Added to basket
£12.99
Paperback
The Old Religion
Added to basket
£12.99
Hardback
Blockchain Basics
Added to basket
The Truth Machine
Added to basket
Beyond Contempt
Added to basket
£9.99
Paperback
Cybersecurity and Cyberwar
Added to basket
The Perfect Weapon
Added to basket
£14.99
Paperback
Cyber Attack Survival Manual
Added to basket
Poc || Gtfo
Added to basket
£33.99
Hardback
Hello World
Added to basket
£18.99
Hardback
Desk Wars
Added to basket
£9.99
Paperback
Cyber Security
Added to basket
£24.99
Paperback
Social Engineering
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.