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