For the most recent entries see the Petri Nets Newsletter.

A Methodology for Easily Provable Implementation of Synchronization Mechanisms.

Valette, R.; Diaz, M.

In: Syre, J.C.: Proc. of the 1st European Conference on Parallel and Distributed Processing, pages 156-162. Toulouse: Cepadues Editions, 1979.


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

Back to the Petri Nets Bibliography