For the most recent entries see the Petri Nets Newsletter.

A Weakly Coherent Virtually Shared Memory Scheme: Formal Specification and Analysis.

Gomm, Dominik; Kindler, Ekkart

In: 5/91 B: 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