Login / Signup
A Formal Model for Eventual Consistency Semantics.
Anne-Marie Bosneag
Monica Brockmeyer
Published in:
IASTED PDCS (2002)
Keyphrases
</>
formal model
predicate calculus
logic programming
probabilistic knowledge
formal semantics
security patterns
action descriptions
formal models
cp nets