A trace-based semantics for responsiveness
Author: | Walter VoglerGND, Christian Stahl, Richard Muller |
---|---|
Frontdoor URL | https://opus.bibliothek.uni-augsburg.de/opus4/51593 |
ISBN: | 9780769547091OPAC |
ISBN: | 9781467316873OPAC |
Parent Title (English): | 12th International Conference on Application of Concurrency to System Design, 27 - 29 June 2012, Hamburg, Germany |
Publisher: | IEEE |
Place of publication: | Los Alamitos, Calif. [u.a.] |
Type: | Part of a Book |
Language: | English |
Year of first Publication: | 2012 |
Release Date: | 2019/04/09 |
First Page: | 42 |
Last Page: | 51 |
DOI: | https://doi.org/10.1109/acsd.2012.10 |
Institutes: | Fakultät für Angewandte Informatik |
Fakultät für Angewandte Informatik / Institut für Informatik | |
Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik | |
Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik / Professur für Theorie verteilter Systeme |