Communication publiée dans un ouvrage (Colloques, congrès, conférences scientifiques et actes)
Non-interleaving Operational Semantics for Geographically Replicated Databases
Ciobanu, Gabriel; HORNE, Ross James
2013 • In 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, {SYNASC} 2013, Timisoara, Romania, September 23-26, 2013
HORNE, Ross James ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Co-auteurs externes :
yes
Langue du document :
Anglais
Titre :
Non-interleaving Operational Semantics for Geographically Replicated Databases
Date de publication/diffusion :
2013
Nom de la manifestation :
15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, {SYNASC} 2013
Date de la manifestation :
23-26, 2013
Titre de l'ouvrage principal :
15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, {SYNASC} 2013, Timisoara, Romania, September 23-26, 2013
