8 citations · 9 across the 2 of their papers we have counts for
2 papers
cs.PL2012★ 8 cited
Shared Contract-Obedient Endpoints
Étienne Lozes, Jules Villard
Most of the existing verification techniques for message-passing programs suppose either that channel endpoints are used in a linear fashion, where at most one thread may send or r…
cs.LO2012★ 1 cited
Model-Checking Process Equivalences
Martin Lange, Etienne Lozes, Manuel Vargas Guzmán
Process equivalences are formal methods that relate programs and system which, informally, behave in the same way. Since there is no unique notion of what it means for two dynamic…