Author:
Corradini Andrea,Ribeiro Leila,Dotti Fernando,Mendizabal Odorico
Publisher
Springer International Publishing
Reference17 articles.
1. Armendáriz-Iñigo, J.E., de Mendívil, J.R.G., Garitagoitia, J.R., Muñoz-Escoí, F.D.: Correctness proof of a database replication protocol under the perspective of the I/O automaton model. Acta Inf. 46(4), 297–330 (2009)
2. Baldan, P., Corradini, A., Montanari, U.: Contextual Petri Nets, asymmetric event structures and processes. Inf. Comput. 171(1), 1–49 (2001)
3. Bernstein, P.A., Hadzilacos, V., Goodman, N.: Concurrency Control and Recovery in Database Systems. Addison-Wesley, San Diego (1987)
4. Bhargava, B.K.: Concurrency control in database systems. IEEE Trans. Knowl. Data Eng. 11(1), 3–16 (1999)
5. Budhiraja, N., Marzullo, K., Schneider, F.B., Toueg, S.: The primary-backup approach. Distrib. Syst. 2, 199–216 (1993)