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]
@inproceedings{BruniNLM08,
title = {Provably Correct Implementations of Services},
author = {Roberto Bruni and Rocco De Nicola and Michele Loreti and Leonardo Gaetano Mezzina},
year = {2008},
doi = {10.1007/978-3-642-00945-7_5},
url = {http://dx.doi.org/10.1007/978-3-642-00945-7_5},
researchr = {https://researchr.org/publication/BruniNLM08},
cites = {0},
citedby = {0},
pages = {69-86},
booktitle = {Trustworthy Global Computing, 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers},
editor = {Christos Kaklamanis and Flemming Nielson},
volume = {5474},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-00944-0},
}