( en | de | ru )

 

Disambiguation of "Quéinnec, Philippe"

Author of the publication

copydeleteadd this publication to your clipboard
A Direct Formal Semantics for BPMN Time-related Constructs.

, , , and . ENASE, page 138-149. SCITEPRESS, (2021)

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.

Philippe Kersting

Philippe Bopp

Philippe Dreuw

Philippe Zysset

Philippe Moisan

 

Other publications of authors with the same name

Refinement Based Validation of an Algorithm for Detecting Distributed Termination., , , , and . IPDPS Workshops, volume 1800 of Lecture Notes in Computer Science, page 1027-1036. Springer, (2000)Proving a Non-blocking Algorithm for Process Renaming with TLA ^+ +., and . TAP, volume 11823 of Lecture Notes in Computer Science, page 147-166. Springer, (2019)Characterization and Derivation of Heard-Of Predicates for Asynchronous Message-Passing Models., , and . CoRR, (2020)Cooperative Mobile Agents to Gather Global Information., , and . NCA, page 271-274. IEEE Computer Society, (2005)Tailoring UNITY to Distributed Program Design., , , , and . IPPS/SPDP Workshops, volume 1388 of Lecture Notes in Computer Science, page 820-832. Springer, (1998)The Reconstruction of a Mobile Agent Computation and Its Validation., , , and . IPDPS, page 236. IEEE Computer Society, (2003)Describing Mobile Computations with Path Vectors., , , and . OPODIS, page 221-234. Suger, Saint-Denis, rue Catulienne, France, (2000)Analysis of distributed multi-periodic systems to achieve consistent data matching., , and . NOTERE, page 81-88. IEEE, (2010)Separability to Help Parallel Simulation of Distributed Computations., , and . OPODIS, volume 4878 of Lecture Notes in Computer Science, page 358-371. Springer, (2007)Derivation of Fault Tolerance Properties of Distributed Algorithms., and . PODC, page 382. ACM, (1994)