For the most recent entries see the Petri Nets Newsletter.

Deadlock Behaviour in Split and ST Bisimulation Semantics.

Baeten, J.C.M.; Bergstra, J.A.

In: Castellani, I.; Palamidessi, C.: Electronic Notes in Theoretical Computer Science, Vol. 16. Elsevier, 2000.

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

Back to the Petri Nets Bibliography