+612 9045 4394
 
CHECKOUT
Topology in Process Calculus : Approximate Correctness and Infinite Evolution of Concurrent Programs - Mingsheng Ying

Topology in Process Calculus

Approximate Correctness and Infinite Evolution of Concurrent Programs

Hardcover Published: 30th March 2001
ISBN: 9780387950921
Number Of Pages: 220

Share This Book:

Hardcover

RRP $353.99
$245.25
31%
OFF
or 4 easy payments of $61.31 with Learn more
Ships in 7 to 10 business days

Earn 491 Qantas Points
on this Book

Other Available Editions (Hide)

  • Paperback View Product Published: 28th October 2012
    $147.02

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 some notions and tools from point-set topology. This book is restricted to CCS for simplicity, but the main idea also applies to some other process calculi. The concept of bisimulation limits, useful for the understanding and analysis of infinite evolution of processes, is introduced. In addition, the notions of near bisimulations and bisimulation indexes, suitable in describing approximate correctness of concurrent programs, are proposed. The book will be of particular interest to researchers in the fields of theoretical computer science, especially theory of concurrency and hybrid systems, and graduate students in related disciplines. It will also be valuable to practical system designers developing concurrent and/or real-time systems.

Introduction
Process Calculus
Bisimulation and Trace Limits of Agents
Limit Behavior of Agents
Near Bisimulations Defined by Closures
Bisimulation Indexes Induced by Metrics
Conclusion
References
Table of Contents provided by Publisher. All Rights Reserved.

ISBN: 9780387950921
ISBN-10: 0387950923
Audience: Professional
Format: Hardcover
Language: English
Number Of Pages: 220
Published: 30th March 2001
Publisher: Springer-Verlag New York Inc.
Country of Publication: US
Dimensions (cm): 23.5 x 15.5  x 1.91
Weight (kg): 1.11

Earn 491 Qantas Points
on this Book