For the most recent entries see the Petri Nets Newsletter.

Distributed Bisimulations.

Castellani, Ilaria; Hennessy, Matthew

In: Journal of the Association for Computing Machinery, Vol. 36, No. 4, pages 887-911. 1989.

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

Keywords: distributed bisimulation; process equivalence; noninterleaving semantics; observational equivalence.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography