Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs

by

Write The First Customer Review

Process calculi are among the most successful models of concurrent systems. Various behavior equivalences between processes are central notions in CCS (calculus of communicating systems) and other process calculi. In the real applications, specification and implementation are described as two processes, and correctness of programs is treated as a certain behavior equivalence between them. The purpose of this book is to establish a theory of approximate correctness and infinite evolution of concurrent programs by employing ...

Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs 2012, Springer

ISBN-13: 9781461265221

Softcover Reprint of the Origi edition

Trade paperback

Select
Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs 2001, Springer, New York, NY

ISBN-13: 9780387950921

2001 edition

Hardcover

Select