TY  - UNPD
A1  - Schmidt-Schauß, Manfred
A1  - Sabel, David
T1  - Embedding the pi-calculus into a concurrent functional programming language
T2  - Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik ; 60 [version 1.0]
N2  - The synchronous pi-calculus is translated into a core language of Concurrent Haskell extended by futures (CHF). The translation simulates the synchronous message-passing of the pi-calculus by sending messages and adding synchronization using Concurrent Haskell's mutable shared-memory locations (MVars). The semantic criterion is a contextual semantics of the pi-calculus and of CHF using may- and should-convergence as observations. The results are equivalence with respect to the observations, full abstraction of the translation of closed processes, and adequacy of the translation on open processes. The translation transports the semantics of the pi-calculus processes under rather strong criteria, since error-free programs are translated into error-free ones, and programs without non-deterministic error possibilities are also translated into programs without non-deterministic error-possibilities. This investigation shows that CHF embraces the expressive power and the concurrency capabilities of the pi-calculus.
T3  - Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik - 60 [version 1.0] 
KW  - pi-calculus
KW  - functional programming
KW  - concurrency
KW  - adequate translations
Y1  - 2019
UR  - http://publikationen.ub.uni-frankfurt.de/frontdoor/index/index/docId/48949
UR  - https://nbn-resolving.org/urn:nbn:de:hebis:30:3-489493
UR  - http://www.ki.informatik.uni-frankfurt.de/papers/frank/
IS  - [version 1.0] February 12, 2019
PB  - Institut für Informatik, Fachbereich Mathematik und Informatik Goethe-Universität Frankfurt am Main
CY  - Frankfurt am Main
ER  -