Initial list of protocols.
Merge with the Gilles's list of examples
Update according to Laurent and Gilles s' list
Added dekker and rtp with invariants
All the file have been made laparser compliant.
Added reachability problems: only for mist (i.e. the IST based tool)
Invariants were incorrect.
Major enhancement. Invariants have been fixed and added.
Added some comments.
queuedbuffer.spec modified!
queuedbusyflag corrige.
a
Corrected a bug in a transition
nouveau kanban: maintenant, il y a un marquage initial paramétrique
ajout des invariants
invariants
le bon german
le vrai bon german
Initial revision
mist and ic4pn code