The Limit of Split_n-Bisimulations for CCS Agents

[1]  Luca Aceto,et al.  Adding Action Refinement to a Finite Process Algebra , 1991, Inf. Comput..

[2]  Matthew Hennessy,et al.  Axiomatising Finite Concurrent Processes , 1988, SIAM J. Comput..

[3]  Albert R. Meyer,et al.  Bisimulation can't be traced , 1988, POPL '88.

[4]  Rob J. van Glabbeek,et al.  Petri Net Models for Algebraic Theories of Concurrency , 1987, PARLE.

[5]  David Park,et al.  Concurrency and Automata on Infinite Sequences , 1981, Theoretical Computer Science.

[6]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.