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