Topological Construction of Parameterized Bisimulation Limit

Milner, 1989 Minler, 1999 Hoare, 1978, Communicating sequential processes, Communications of the ACM, 21, 666, 10.1145/359576.359585 Hoare, 1985 Ying, 2001 Larsen, K.G., “Context-Dependent Bisimulation Between Process”, Ph.D. thesis, Aalborg University Centre Strandvejen, 1986 Larsen, 1987, A Context Dependent Equivalence Between Processes, Theoretical Computer Science, 49, 185, 10.1016/0304-3975(87)90007-7 Ying, 1999, Topoplogy in Process Calculus, vol. 258, 29 Ying, 1999, Limits of Agent in Process Calculus, 221 Ying, 1999, Topology in Process Calculus (I): Limit Behavior of Agents, J. Computer Sci. Technol, 14, 326, 10.1007/BF02948735 Ying, 2001 Hennessy, M., R. Milner., “Algebraic Laws for Nondeterminism and Concurrency”, Tech. Rept. CSR-133-83, University of Edinburgh, Department of Computer Science, 1983 Milner, R., “A Complete Inference System for a Class of Regular Behaviours”, CSR-11-82, University of Edinburgh, Department of Computer Science, 1982 Ma, 2009, Parameterized Bisimulation Infinite Evolution Mechinism, 299 Kelley, 1975