Abstract:
A new equivalence between concurrent processes is proposed. It generalises the well-known bisimulation equivalence to take into account the distributed nature of processes. The result is a non-interleaving semantic theory; concurrent processes are differentiated from processes which are nondeterministic but sequential. The new equivalence, together with its observational version, is investigated for a subset of the language CCS, and various algebraic characterisations are obtained.