Login / Signup
On Finite Bases for Weak Semantics: Failures versus Impossible Futures
Taolue Chen
Wan J. Fokkink
Rob J. van Glabbeek
Published in:
CoRR (2008)
Keyphrases
</>
formal semantics
logic programming
semantic information
finite number
operational semantics
model theoretic
failure detection
conceptual model
conceptual graphs