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.

A Formal Model for the Deferred Update Replication Technique

Andrea Corradini, Leila Ribeiro, Fernando Luís Dotti, Odorico Machado Mendizabal. A Formal Model for the Deferred Update Replication Technique. In Martín Abadi, Alberto Lluch-Lafuente, editors, Trustworthy Global Computing - 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers. Volume 8358 of Lecture Notes in Computer Science, pages 235-253, Springer, 2013. [doi]

Authors

Andrea Corradini

This author has not been identified. Look up 'Andrea Corradini' in Google

Leila Ribeiro

This author has not been identified. Look up 'Leila Ribeiro' in Google

Fernando Luís Dotti

This author has not been identified. Look up 'Fernando Luís Dotti' in Google

Odorico Machado Mendizabal

This author has not been identified. Look up 'Odorico Machado Mendizabal' in Google
runs on