Save 50% on Print Books, eBooks & Journals in Medicine! Browse now >>

Topology in Process Calculus

Approximate Correctness and Infinite Evolution of Concurrent Programs

Authors: Ying, Mingsheng

Buy this book

eBook $69.99
price for USA
  • ISBN 978-1-4613-0123-3
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $109.00
price for USA
  • ISBN 978-0-387-95092-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $89.99
price for USA
  • ISBN 978-1-4612-6522-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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.

Table of contents (7 chapters)

Buy this book

eBook $69.99
price for USA
  • ISBN 978-1-4613-0123-3
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $109.00
price for USA
  • ISBN 978-0-387-95092-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $89.99
price for USA
  • ISBN 978-1-4612-6522-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Topology in Process Calculus
Book Subtitle
Approximate Correctness and Infinite Evolution of Concurrent Programs
Authors
Copyright
2001
Publisher
Springer-Verlag New York
Copyright Holder
Springer Science+Business Media New York
eBook ISBN
978-1-4613-0123-3
DOI
10.1007/978-1-4613-0123-3
Hardcover ISBN
978-0-387-95092-1
Softcover ISBN
978-1-4612-6522-1
Edition Number
1
Number of Pages
VIII, 220
Topics