Étienne Lozes, Jules Villard. Reliable Contracts for Unreliable Half-Duplex Communications. In Marco Carbone, Jean-Marc Petit, editors, Web Services and Formal Methods - 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers. Volume 7176 of Lecture Notes in Computer Science, pages 2-16, Springer, 2011. [doi]
Abstract is missing.