( en | de | ru )

 

Disambiguation of "Lang, Frédéric"

Author of the publication

copydeleteadd this publication to your clipboard
Verification of EB3 Specifications Using CADP.

, , , and . IFM, volume 7940 of Lecture Notes in Computer Science, page 61-76. Springer, (2013)

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.

Frédéric Robin

Frédéric Ruckert

Frédéric Roux

Frédéric Leroux

Frédéric Ziebarth

 

Other publications of authors with the same name

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