Protocols by Invariants
(Book #7 in the Cambridge International Series on Parallel Computation Series)
No Customer Reviews
When several computers have to cooperate to achieve a certain task (i.e. distributed computing) we need 'recipes' (i.e. protocols) to tell them what to do. Unfortunately, human minds are not well suited to keeping track of what might happen given even a very simple protocol. In this book Dr Schoone shows how we can derive properties of those protocols that always hold (i.e. invariants), irrespective of what actually happens in an execution of the...
Format:Paperback
Language:English
ISBN:0521607558
ISBN13:9780521607551
Release Date:August 2004
Publisher:Cambridge University Press
Length:208 Pages
Weight:0.84 lbs.
Dimensions:0.4" x 7.4" x 9.7"
Customer Reviews
0 rating
Copyright © 2024 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
