For the most recent entries see the
Petri Nets Newsletter.
Using the Structural Operational Approach to Express True Concurrency.
Li, W.;
Lauer, P.E.
In:
Neuhold, E.J.; Chroust, G.: IFIP, Formal Models in Programming, pages 317-346.
Elsevier Science Publisher B. V. (North-Holland),
1985.
Also as:
Technical Report No. 85--01.
Hamilton, Ontario, Canada: McMaster University, Department of Computer Science and Systems,
1985.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography