Non-Deterministic Interleaving and the Non-Transitivity of Concurrency.

For the most recent entries see the Petri Nets Newsletter.

Non-Deterministic Interleaving and the Non-Transitivity of Concurrency.

In: Newsletter No. 15, pages 11-15. Bonn, Germany: Gesellschaft für Informatik (GI), Special Interest Group on Petri Nets and Related System Models, October 1983.

Keywords: interleaving; semenatics (of) concurrency.

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

Back to the Petri Nets Bibliography