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

Jean-Loup Baer Georges Gardarin Claude Girault Gérard Roucairol

Published in: ICSE (1981)

Keyphrases

colored petri nets
petri net
lightweight
post processing
modeling method
modeling framework
discrete event simulation
neural network
high level
digital libraries
model driven
network protocols
theorem prover
theorem proving