For the most recent entries see the Petri Nets Newsletter.

The Two-Step Commitment Protocol: Modeling, Specification and Proof Methodology.

Baer, J.L.; Gardarin, G.; Roucairol, G.

Univ. de P. et M. Curie, Paris, Institut de Programmation, Systemes Informatiques, December 1980.

Also in: ACM, San Diego: 5th Int. Conf. on Software Engineering, IEEE, pages 363-373. 1981.

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

Back to the Petri Nets Bibliography