For the most recent entries see the Petri Nets Newsletter.

A Non-interleaving Semantic Model for Nondeterministic Concurrent Processes.

Loogen, R.; Goltz, U.

Aachener Informatik-Berichte No. 12. Aachen: RWTH Aachen, 1987.


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

Back to the Petri Nets Bibliography