Ready simulation for concurrency: it’s logical!
Author: | Gerald LüttgenGND, Walter VoglerGND |
---|---|
Frontdoor URL | https://opus.bibliothek.uni-augsburg.de/opus4/39340 |
ISSN: | 0890-5401OPAC |
Parent Title (English): | Information and Computation |
Publisher: | Elsevier |
Place of publication: | Amsterdam [u.a.] |
Type: | Article |
Language: | English |
Year of first Publication: | 2010 |
Release Date: | 2018/07/30 |
Volume: | 208 |
Issue: | 7 |
First Page: | 845 |
Last Page: | 867 |
DOI: | https://doi.org/10.1016/j.ic.2010.02.001 |
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 |