( en | de | ru )

 

Disambiguation of "Lozes, Étienne"

Author of the publication

copydeleteadd this publication to your clipboard
Two-Buffer Simulation Games.

, , , , and . Cassting/SynCoP, volume 220 of EPTCS, page 27-38. (2016)

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.

Étienne Miquey

Stéphane Étienne

Étienne André

Étienne Payet

Étienne Deparis

 

Other publications of authors with the same name

Synchronizability of Communicating Finite State Machines is not Decidable., and . Log. Methods Comput. Sci., (2023)On the k-synchronizability of Systems., , and . FoSSaCS, volume 12077 of Lecture Notes in Computer Science, page 157-176. Springer, (2020)Guessing the Buffer Bound for k-Synchronizability., , and . CIAA, volume 12803 of Lecture Notes in Computer Science, page 102-114. Springer, (2021)A Unifying Framework for Deciding Synchronizability., , , , , and . CONCUR, volume 203 of LIPIcs, page 14:1-14:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Reliable Contracts for Unreliable Half-Duplex Communications., and . WS-FM, volume 7176 of Lecture Notes in Computer Science, page 2-16. Springer, (2011)Guessing the Buffer Bound for k-Synchronizability., , and . Int. J. Found. Comput. Sci., 34 (8): 1051-1076 (December 2023)Weakly Synchronous Systems with Three Machines Are Turing Powerful., , , and . RP, volume 14235 of Lecture Notes in Computer Science, page 28-41. Springer, (2023)Shared Contract-Obedient Endpoints, and . ICE, volume 104 of EPTCS, page 17-31. (2012)Towards Model-Checking Programs with Lists., , and . ILC, volume 5489 of Lecture Notes in Computer Science, page 56-86. Springer, (2007)Tracking Heaps That Hop with Heap-Hop., , and . TACAS, volume 6015 of Lecture Notes in Computer Science, page 275-279. Springer, (2010)