Found: 5
Select item for more details and to access through your institution.
EVENTUAL CONSISTENCY: ORIGIN AND SUPPORT.
- Published in:
- Computing & Informatics, 2018, v. 37, n. 5, p. 1037, doi. 10.4149/cai_2018_5_1037
- By:
- Publication type:
- Article
An implementation of a replicated file server supporting the crash-recovery failure model.
- Published in:
- Journal of Supercomputing, 2012, v. 59, n. 1, p. 156, doi. 10.1007/s11227-010-0431-1
- By:
- Publication type:
- Article
A formal analysis of database replication protocols with SI replicas and crash failures.
- Published in:
- Journal of Supercomputing, 2009, v. 50, n. 2, p. 121, doi. 10.1007/s11227-008-0255-4
- By:
- Publication type:
- Article
Correctness proof of a database replication protocol under the perspective of the I/O automaton model.
- Published in:
- Acta Informatica, 2009, v. 46, n. 4, p. 297, doi. 10.1007/s00236-009-0097-4
- By:
- Publication type:
- Article
A Safe Algorithm for Resolving OR Deadlocks.
- Published in:
- IEEE Transactions on Software Engineering, 2003, v. 29, n. 7, p. 608, doi. 10.1109/TSE.2003.1214325
- By:
- Publication type:
- Article