|
Topology in Process Calculus : Approximate Correctness and Infinite Evolution of Concurrent Programs
Table of Contents:
“... Bisimulation and Trace Limits of Agents 37 -- 3.1 Strong Bisimulat ion Limits -- 3.2 *-Strong Bisi mulation...”- 1
- 2