For the most recent entries see the
Petri Nets Newsletter.
Interleaving and Partial Orders in Concurrency: A Formal Comparision.
WG 2.2 Working Conference on Formal Description of Programming Concepts, Vol. 3 / Wirsing, M. (ed): Proc. of the IFIP TC2, pages 299-321.
Amsterdam: Elsevier Publishers B.V. (North Holland),
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography