Trace- and failure-based semantics for responsiveness.

Walter Vogler Christian Stahl Richard Müller

Published in: Acta Informatica (2014)

Keyphrases

formal semantics
semantic information
high level
logic programming
speech acts
root cause
machine learning
programming language
highly reliable