TY  - BOOK
A1  - Peters, Kirstin
T1  - Translational expressiveness: comparing process calculi using encodings
Y1  - 2022
UR  - https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/96273
UR  - https://nbn-resolving.org/urn:nbn:de:bvb:384-opus4-962738
N1  - Dissertation, Technische Universität Berlin, 2012
PB  - Technische Universität Berlin
CY  - Berlin
ER  -