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
Works matching IS 00015903 AND DT 2009 AND VI 46 AND IP 4
Results: 3
1
2
Semantics, calculi, and analysis for object-oriented specifications.
- Published in:
- Acta Informatica, 2009, v. 46, n. 4, p. 255, doi. 10.1007/s00236-009-0093-8
- By:
- Publication type:
- Article
3
The maximum gain of increasing the number of preemptions in multiprocessor scheduling.
- Published in:
- Acta Informatica, 2009, v. 46, n. 4, p. 285, doi. 10.1007/s00236-009-0096-5
- By:
- Publication type:
- Article