Paper published in a book (Scientific congresses, symposiums and conference proceedings)
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)
External co-authors :
yes
Language :
English
Title :
Non-interleaving Operational Semantics for Geographically Replicated Databases
Publication date :
2013
Event name :
15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, {SYNASC} 2013
Event date :
23-26, 2013
Main work title :
15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, {SYNASC} 2013, Timisoara, Romania, September 23-26, 2013