MetadatenAuthor: | Manfred Schmidt-SchaußORCiDGND, David SabelORCiDGND |
---|
URN: | urn:nbn:de:hebis:30:3-489493 |
---|
URL: | http://www.ki.informatik.uni-frankfurt.de/papers/frank/ |
---|
Parent Title (German): | Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik ; 60 [version 1.0] |
---|
Series (Serial Number): | Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik (60 [version 1.0]) |
---|
Publisher: | Institut für Informatik, Fachbereich Mathematik und Informatik Goethe-Universität Frankfurt am Main |
---|
Place of publication: | Frankfurt am Main |
---|
Document Type: | Working Paper |
---|
Language: | English |
---|
Year of Completion: | 2019 |
---|
Year of first Publication: | 2019 |
---|
Publishing Institution: | Universitätsbibliothek Johann Christian Senckenberg |
---|
Release Date: | 2019/03/06 |
---|
Tag: | adequate translations; concurrency; functional programming; pi-calculus |
---|
Issue: | [version 1.0] February 12, 2019 |
---|
Page Number: | 18 |
---|
HeBIS-PPN: | 447265350 |
---|
Institutes: | Informatik und Mathematik / Informatik |
---|
Dewey Decimal Classification: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik |
---|
Sammlungen: | Universitätspublikationen |
---|
Licence (German): | Deutsches Urheberrecht |
---|