Failures semantics based on interval semiwords is a congruence for refinement

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/51624
ISSN:0178-2770OPAC
ISSN:1432-0452OPAC
Parent Title (English):Distributed Computing
Publisher:Springer
Place of publication:Berlin
Type:Article
Language:English
Year of first Publication:1991
Release Date:2019/04/09
Tag:Theoretical Computer Science; Computer Networks and Communications; Hardware and Architecture; Computational Theory and Mathematics
Volume:4
Issue:3
First Page:139
Last Page:162
DOI:https://doi.org/10.1007/bf01798961
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