All Formats & Editions
Modelling Distributed Systems
This textbook guides students through algebraic specification and verification of distributed systems, and some of the most prominent formal verification techniques. The author employs CRL as the vehicle, a language developed to combine process algebra and abstract data types...
Modelling Distributed Systems
This textbook guides students through algebraic specification and verification of distributed systems, and some of the most prominent formal verification techniques. The author employs ?CRL as the vehicle, a language developed to combine process algebra and abstract data types...
Modelling Distributed Systems
This textbook guides students through algebraic specification and verification of distributed systems, and some of the most prominent formal verification techniques. The author employs CRL as the vehicle, a language developed to combine process algebra and abstract data types...
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
