For the most recent entries see the Petri Nets Newsletter.

Labeled Event Structures: A Model for Observable Concurrency.

Castellani, I.; Franceschi, P.; Montanari, U.

In: Björner, D.: Formal Description of Programming Concepts-II, pages 383-399. North-Holland Publishing Company, IFIP, 1983.

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

Back to the Petri Nets Bibliography