Topology in Process Calculus

Approximate Correctness and Infinite Evolution of Concurrent Programs

  • Mingsheng Ying

Table of contents

  1. Front Matter
    Pages i-viii
  2. Mingsheng Ying
    Pages 1-9
  3. Mingsheng Ying
    Pages 11-36
  4. Mingsheng Ying
    Pages 37-94
  5. Mingsheng Ying
    Pages 95-111
  6. Mingsheng Ying
    Pages 113-138
  7. Mingsheng Ying
    Pages 207-211
  8. Back Matter
    Pages 213-220

About this book


Communication and concurrency are essential in understanding complex dynamic systems, and there have been many theories to deal with them such as Petri nets, CSP and ACP. Among them, CCS (process calculus is one of the most important and mathematically developed models of communication and concurrency. Various behavior equivalences between agents, such as (strong and weak) bisimilarity, observation congruence, trace equivalence, testing equivalence and failure equivalence, are central notions in process calculus. In the real applications of process calculus, specification and implementation are described as two agents, correctness of programs is treated as a certain behavior equivalence between specification and implementation, and then the proof of correctness of programs is a task to establish some behavior equivalence between them. The goal of this book is to provide some suitable and useful concepts and tools for the understanding and analysis of approximate correctness of programs in concurrent systems. Throughout this book the focus is on the framework of process calculus, and the main idea is to construct some natural and reasonable topological structures which can reveal suitably a mechanism of approximate computation in process calculus and to work out various relationships among processes which are compatible with these topological structures.


Finite Topology calculus computer science design formal methods language proof semantics simulation testing theorem theoretical computer science

Authors and affiliations

  • Mingsheng Ying
    • 1
  1. 1.Department of Computer Science and Technology State Key Laboratory of Intelligent Technology, and SystemsTsinghua UniversityBeijingChina

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag New York, Inc. 2001
  • Publisher Name Springer, New York, NY
  • eBook Packages Springer Book Archive
  • Print ISBN 978-1-4612-6522-1
  • Online ISBN 978-1-4613-0123-3
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Energy, Utilities & Environment