Trace- and failure-based semantics for responsiveness
scientific article; zbMATH DE number 6376645
scientific article