@dblp

Trace- and Failure-Based Semantics for Bounded Responsiveness.

, , and . ESOCC Workshops, volume 393 of Communications in Computer and Information Science, page 129-143. Springer, (2013)

Links and resources

Tags