Walter Vogler, Christian Stahl, Richard Müller. A Trace-Based Semantics for Responsiveness. In Jens Brandt, Keijo Heljanko, editors, 12th International Conference on Application of Concurrency to System Design, ACSD 2012, Hamburg, Germany, June 27-29, 2012. pages 42-51, IEEE, 2012. [doi]
Abstract is missing.