( en | de | ru )

 

Disambiguierung von "Lang, Frédéric"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Translating FSP into LOTOS and Networks of Automata.

, , , und . IFM, Volume 4591 von Lecture Notes in Computer Science, Seite 558-578. Springer, (2007)

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.

Frédéric Robin

Frédéric Ruckert

Frédéric Roux

Frédéric Leroux

Frédéric Ziebarth

 

Weitere Publikationen von Autoren mit dem selben Namen

Compositional model checking with divergence preserving branching bisimilarity is lively., , und . Sci. Comput. Program., (2020)Addressed Term Rewriting Systems: Syntax, Semantics, and Pragmatics: Extended Abstract., , , und . TERMGRAPH, Volume 127 von Electronic Notes in Theoretical Computer Science, Seite 57-82. Elsevier, (2004)Formal Verification of Distributed Branching Multiway Synchronization Protocols., und . FMOODS/FORTE, Volume 7892 von Lecture Notes in Computer Science, Seite 146-160. Springer, (2013)Translating FSP into LOTOS and Networks of Automata., , , und . IFM, Volume 4591 von Lecture Notes in Computer Science, Seite 558-578. Springer, (2007)Compositional Verification of Concurrent Systems by Combining Bisimulations., , und . FM, Volume 11800 von Lecture Notes in Computer Science, Seite 196-213. Springer, (2019)Refined Interfaces for Compositional Verification.. FORTE, Volume 4229 von Lecture Notes in Computer Science, Seite 159-174. Springer, (2006)Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous., und . J. Log. Algebraic Methods Program., (2017)Compositional verification of concurrent systems by combining bisimulations., , und . Formal Methods Syst. Des., 58 (1-2): 83-125 (2021)Verifying Temporal Properties of Stigmergic Collective Systems Using CADP., und . ISoLA, Volume 13036 von Lecture Notes in Computer Science, Seite 473-489. Springer, (2021)Combining SLiVER with CADP to Analyze Multi-agent Systems., , und . COORDINATION, Volume 12134 von Lecture Notes in Computer Science, Seite 370-385. Springer, (2020)