Translational expressiveness: comparing process calculi using encodings

Download full text files

Export metadata

Statistics

Number of document requests

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author:Kirstin PetersORCiDGND
URN:urn:nbn:de:bvb:384-opus4-962738
Frontdoor URLhttps://opus.bibliothek.uni-augsburg.de/opus4/96273
Publisher:Technische Universität Berlin
Place of publication:Berlin
Type:Book
Language:English
Year of first Publication:2012
Publishing Institution:Universität Augsburg
Release Date:2022/06/25
Pagenumber:357
Note:
Dissertation, Technische Universität Berlin, 2012
DOI:https://doi.org/10.14279/depositonce-3416
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 / Professur für Theorie verteilter und paralleler Systeme
Dewey Decimal Classification:0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik
Licence (German):Sonstige Open-Access-Lizenz