( en | de | ru )

 

Disambiguation of "Vernadat, François"

Author of the publication

copydeleteadd this publication to your clipboard
Permutable Agents in Process Algebras.

, , and . TACAS, volume 1055 of Lecture Notes in Computer Science, page 187-206. Springer, (1996)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

François Weirich

François Elvinger

François Guers

François Melis

François Franceschi

 

Other publications of authors with the same name

Permutable Agents in Process Algebras., , and . TACAS, volume 1055 of Lecture Notes in Computer Science, page 187-206. Springer, (1996)Covering Step Graph Preserving Failure Semantics., and . ICATPN, volume 1248 of Lecture Notes in Computer Science, page 253-270. Springer, (1997)Layered -net Specification of a Workshop., , and . PDPTA, page 2808-2814. CSREA Press, (1999)Requirement Analysis for Communication Protocols., , and . Automatic Verification Methods for Finite State Systems, volume 407 of Lecture Notes in Computer Science, page 286-293. Springer, (1989)Compositional Design and Verification of Communication Protocols, Using Labelled Petri Nets., , and . CAV, volume 531 of Lecture Notes in Computer Science, page 96-105. Springer, (1990)Covering Step Graph., , and . Application and Theory of Petri Nets, volume 1091 of Lecture Notes in Computer Science, page 516-535. Springer, (1996)Time Petri Nets Analysis with TINA., and . QEST, page 123-124. IEEE Computer Society, (2006)A model-driven engineering approach to formal verification of PLC programs., , , , , and . ETFA, page 1-8. IEEE, (2011)A Communication Protocol for Conflict Resolution., , and . ICMAS, page 437. The MIT Press, (1995)Distributed Coin Tossing., , and . ICDCS, page 244-249. IEEE Computer Society, (1994)