For the most recent entries see the Petri Nets Newsletter.

Causality Based Specification and Correctness Proof of a Virtually Shared Memory Scheme.

Gomm, Dominik; Kindler, Ekkart

In: 6/91B: Technische Universität München, SFB-Bericht Nr. 342. 1991.

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

Back to the Petri Nets Bibliography