Topology in Process Calculus : Approximate Correctness and Infinite Evolution of Concurrent Programs /
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 concurren...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | eBook |
| Language: | English |
| Published: |
New York, NY :
Springer New York,
2001.
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
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.