Bisimulation on speed: lower time bounds
Author: | Gerald LüttgenGND, Walter VoglerGND |
---|---|
Frontdoor URL | https://opus.bibliothek.uni-augsburg.de/opus4/35737 |
ISSN: | 0988-3754OPAC |
Parent Title (English): | Theoretical Informatics and Applications |
Publisher: | EDP Sciences |
Place of publication: | Cambridge, Mass. |
Type: | Article |
Language: | English |
Year of first Publication: | 2005 |
Release Date: | 2017/07/21 |
Volume: | 39 |
Issue: | 3 |
First Page: | 587 |
Last Page: | 618 |
DOI: | https://doi.org/10.1051/ita:2005030 |
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 |