Login / Signup
Unreliable Failure Detectors via Operational Semantics.
Uwe Nestmann
Rachele Fuzzati
Published in:
ASIAN (2003)
Keyphrases
</>
operational semantics
formal semantics
mental states
data model
object detection
model theoretic
declarative semantics
databases
qualitative and quantitative
denotational semantics
activity diagrams
database systems
software engineering
speech acts
agent programming