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