On Finite Bases for Weak Semantics: Failures Versus Impossible Futures.

Taolue Chen Wan J. Fokkink Rob J. van Glabbeek

Published in: SOFSEM (2009)

Keyphrases

formal semantics
complete axiomatization
keywords
programming language
logic programming
semantic information
distributed databases
schema mappings
finite number
speech acts
root cause
failure detection
logical properties