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