Ernst-Rüdiger Olderog
Werke:
- Combining compositionality and concurrency : summary of a GMD-Workshop, Königswinter, March 1988
- ProCoS at Oldenburg : the interface between specification language and occam-like programming language
- Nets, terms and formulas: three views of concurrent processes and their relationship
- Process theory: semantics, specification and verification
Externe Links:
- Gemeinsame Normdatei (GND) im Katalog der Deutschen Nationalbibliothek
- Open Researcher and Contributor ID (ORCID)
- International Standard Name Identifier (ISNI)
- Bibliothèque nationale de France
- Wikipedia (Deutsch)
- Wikipedia (English)
- NACO Authority File
- Virtual International Authority File (VIAF)
- Wikidata
- International Standard Name Identifier (ISNI)