The equivalence in the DCP model (Q1177152)

The importance of equivalence relation (on processes) defined in algebraic theories of processes (like CCS, CSP, DCP, etc.) is well known. This paper deals with the equivalence relation in the DCP model. After a brief overview of some equivalences on labelled transitions systems and the relations between them, the authors, in order to find the place of the Johnston's equivalence (in DCP) in the chain of existing equivalences, defines a new partial order between processes which induces a new equivalence relation. It is proved that this new relation is finer than the original one and in fact is the bisimulation relation of Park.