External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Provably Correct Implementations of Services

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]

Authors

Roberto Bruni

This author has not been identified. Look up 'Roberto Bruni' in Google

Rocco De Nicola

This author has not been identified. Look up 'Rocco De Nicola' in Google

Michele Loreti

This author has not been identified. Look up 'Michele Loreti' in Google

Leonardo Gaetano Mezzina

This author has not been identified. Look up 'Leonardo Gaetano Mezzina' in Google
runs on