For the most recent entries see the Petri Nets Newsletter.

Interleaving and Partial Orders in Concurrency: A Formal Comparision.

Best, E.; Devillers, R.

In: 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), 1987.


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

Back to the Petri Nets Bibliography