For the most recent entries see the Petri Nets Newsletter.

Proof of Protocols in the Case of Failures.

Girault, C.

In: Evans, D.J.: Parallel Processing Systems: Advanced Course on Parallel Processing, Univ. of Loughborough, 1980, pages 121-139. Press of Cambridge University, 1980.

Also: Univ. de P. et M. Curie, Paris VI, Inst. de Programmation, ERA C.N.R.S. 502, January 1981.

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

Back to the Petri Nets Bibliography