12 search results - page 3 / 3 » The Presumed-Either Two-Phase Commit Protocol |
APLAS
2007
ACM
13 years 9 months ago
2007
ACM
This paper studies types and probabilistic bisimulations for a timed -calculus as an effective tool for a compositional analysis of probabilistic distributed behaviour. The types c...
RULES
1993
Springer
13 years 9 months ago
1993
Springer
Objects are collected into an object base because of a presumed need for cooperation among them. In classical object bases the cooperation is based on synchronous, preplanned mess...