Equivalences for concurrent and distributed systems. A review of dissertation.

For the most recent entries see the Petri Nets Newsletter.

Equivalences for concurrent and distributed systems. A review of dissertation.

Berichte aus dem Fachbereich Informatik 9/99, 77 pages, September 1999. Carl von Ossietzky Universitaet Oldenburg, Germany.; www.iis.nsk.su/persons/itar/.

Abstract: The paper is a review of the author´s PhD thesis defended at A.P. Ershov Institute of Informatics Systems SB RAS, Novosibirsk, Russia, in December 1997. A wide range of behavioural equivalences are investigated for Petri nets, time Petri nets and process algebras.

Keywords: Petri nets; time Petri nets; process algebras; behavioural equivalences.

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

Back to the Petri Nets Bibliography