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