Topology In Process Calculus Book

	Preface
1	Introduction	1
2	Process Calculus	11
2.1	Transition Systems	11
2.2	Hennessy-Milner Logic	15
2.3	Basic Language	19
2.4	Transitional Semantics	21
2.5	Strong Bisimulations	24
2.6	Bisimulations	29
3	Bisimulation and Trace Limits of Agents	37
3.1	Strong Bisimulation Limits	37
3.2	* - Strong Bisimulation Limits	69
3.3	Bisimulation Limits	78
3.4	Trace Limits	86
4	Limit Behavior of Agents	95
4.1	Modifications of Topologies on Actions	96
4.2	Topologies on Agents	100
4.3	Several Limit Theorems	102
5	Near Bisimulations Defined by Closures	113
5.1	Near Bisimulations in Transition Systems	113
5.2	Near Strong Bisimulations	125
5.3	Near (Weak) Bisimulations	131
6	Bisimulations Indexes Induced by Metrics on Actions	139
6.1	Bisimulation Indexes in Tranisition Systems	140
6.2	Hennessy-Milner Logical Characterization of Bisimulation Indexes	154
6.3	Strong Bisimulation Indexes	158
6.4	(Weak) Bisimulation Indexes	169
6.5	Approximate Communications	177
6.6	Some Applications: Two Examples in Timed CCS	182
6.7	Some Applications: An Example in Real Time ACP	198
7	Conclusion	207
	References	213
	Index	219