Hochschulschrift
Translational Expressiveness. Comparing Process Calculi using Encodings
- Alternative title
-
Translational Expressiveness. Vergleich von Prozess Kalkülen mit Hilfe von Kodierungen
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Berlin, Technische Universtität Berlin, Diss., 2012
- Classification
-
Biowissenschaften, Biologie
- Event
-
Veröffentlichung
- (where)
-
Berlin
- (who)
-
Universitätsbibliothek der Technischen Universität Berlin
- (when)
-
2012
- Creator
- Contributor
-
Nestmann, Uwe
- URN
-
urn:nbn:de:kobv:83-opus-37495
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:34 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Peters, Kirstin
- Nestmann, Uwe
- Universitätsbibliothek der Technischen Universität Berlin
Time of origin
- 2012
Other Objects (12)
Comparing process calculi using encodings
Translational process
Comparing reduction strategies in resource conscious lambda calculi
Mobility in process calculi and natural computing
Calculi.
Calculi.
Calculi humani
Intensional equality for process calculi based on ε-structures [epsilon-structures]
Intensional equality for process calculi based on ε-structures [epsilon-structures]
B. Calculi renales
A. Calculi fellei
Sectio VIII. Calculi
Comparing process calculi using encodings
Translational process
Comparing reduction strategies in resource conscious lambda calculi
Mobility in process calculi and natural computing
Calculi.
Calculi.
Calculi humani
Intensional equality for process calculi based on ε-structures [epsilon-structures]
Intensional equality for process calculi based on ε-structures [epsilon-structures]
B. Calculi renales
A. Calculi fellei
Sectio VIII. Calculi
Comparing process calculi using encodings
Translational process
Comparing reduction strategies in resource conscious lambda calculi
Mobility in process calculi and natural computing
Calculi.
Calculi.
Calculi humani
Intensional equality for process calculi based on ε-structures [epsilon-structures]
Intensional equality for process calculi based on ε-structures [epsilon-structures]
B. Calculi renales
A. Calculi fellei