( en | de | ru )

 

Disambiguierung von "Quéinnec, Philippe"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
The Reconstruction of a Mobile Agent Computation and Its Validation.

, , , und . IPDPS, Seite 236. IEEE Computer Society, (2003)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Philippe Dreuw

Philippe Zysset

Philippe Moisan

Philippe Kersting

Philippe Bopp

 

Weitere Publikationen von Autoren mit dem selben Namen

Proving a Non-blocking Algorithm for Process Renaming with TLA ^+ +., und . TAP, Volume 11823 von Lecture Notes in Computer Science, Seite 147-166. Springer, (2019)Refinement Based Validation of an Algorithm for Detecting Distributed Termination., , , , und . IPDPS Workshops, Volume 1800 von Lecture Notes in Computer Science, Seite 1027-1036. Springer, (2000)Characterization and Derivation of Heard-Of Predicates for Asynchronous Message-Passing Models., , und . CoRR, (2020)Cooperative Mobile Agents to Gather Global Information., , und . NCA, Seite 271-274. IEEE Computer Society, (2005)A First-Order Logic verification framework for communication-parametric and time-aware BPMN collaborations., , , , und . Inf. Syst., (2022)Tasks in modular proofs of concurrent algorithms., , , und . Inf. Comput., (Juni 2023)Tailoring UNITY to Distributed Program Design., , , , und . IPPS/SPDP Workshops, Volume 1388 von Lecture Notes in Computer Science, Seite 820-832. Springer, (1998)The Reconstruction of a Mobile Agent Computation and Its Validation., , , und . IPDPS, Seite 236. IEEE Computer Society, (2003)Describing Mobile Computations with Path Vectors., , , und . OPODIS, Seite 221-234. Suger, Saint-Denis, rue Catulienne, France, (2000)Derivation of Fault Tolerance Properties of Distributed Algorithms., und . PODC, Seite 382. ACM, (1994)