Deciding history preserving bisimilarity

Export metadata

Statistics

Number of document requests

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author:Walter VoglerGND
Frontdoor URLhttps://opus.bibliothek.uni-augsburg.de/opus4/51628
ISBN:9783540542339OPAC
ISBN:9783540475163OPAC
ISSN:0302-9743OPAC
ISSN:1611-3349OPAC
Parent Title (English):Automata, languages and programming: 18th International Colloquium Madrid, Spain, July 8–12, 1991
Publisher:Springer
Place of publication:Berlin [u.a.]
Editor:Javier Leach Albert, Burkhard Monien, Mario Rodríguez Artalejo
Type:Part of a Book
Language:English
Year of first Publication:1991
Release Date:2019/04/09
First Page:495
Last Page:505
Series:Lecture Notes in Computer Science ; 510
DOI:https://doi.org/10.1007/3-540-54233-7_158
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