Roberto Bruni, Rocco De Nicola, Michele Loreti, Leonardo Gaetano Mezzina. Provably Correct Implementations of Services. In Christos Kaklamanis, Flemming Nielson, editors, Trustworthy Global Computing, 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers. Volume 5474 of Lecture Notes in Computer Science, pages 69-86, Springer, 2008. [doi]
Abstract is missing.