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

by Mingsheng Ying

Overview

The purpose of this book is to establish a theory of approximate correctness and infinite evolution of concurrent programs by employing some notions and tools from point-set topology. Professionals, researchers and graduate students in theoretical computer science and formal methods will find this presentation helpful in understanding new concepts for concurrent and real-time systems, especially methods for describing approximation of systems.

Product Details

ISBN-13:	9780387950921
Publisher:	Springer New York
Publication date:	03/30/2001
Edition description:	2001
Pages:	220
Product dimensions:	6.10(w) x 9.25(h) x 0.36(d)

Table of Contents

1.Introduction; 2.Process Calculus; 3.Bisimulation and Trace Limits of Agents; 4.Limit Behavior of Agents; 5.Near Bisimulations Defined by Closures; 6.Bisimulation Indexes Induced by Metrics; 7.Conclusion; References