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 2.0]
N2  - We investigate translations from the synchronous pi-calculus
into a core language of Concurrent Haskell (CH). Synchronous messagepassing of the pi-calculus is encoded as sending messages and adding synchronization using Concurrent Haskell’s mutable shared-memory locations (MVars). Our correctness criterion for translations is invariance of may- and should-convergence. This embraces that all executions of a process are error-free if and only if this also holds for the translated program. We exhibit a particular correct translation that uses a fresh, private MVar per communication interaction and that is in addition adequate, and which is also fully abstract on closed expressions. A metaresult is that CH has the expressive power and the concurrency capabilities of the synchronous pi-calculus.
We also automatically check variants of translations of synchronous communication into an asynchronous calculus where only an a priori fixed number of MVars per channel (and not per communication interaction!) is available. We obtain non-correctness results for classes of small translations, and exemplary argue for the correctness (and adequacy) for two translations with a higher number of MVars. We introduce a classification of the potentially correct translations.
T3  - Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik - 60 [version 2.0] 
KW  - pi-calculus
KW  - functional programming
KW  - concurrency
KW  - adequate translation
Y1  - 2019
UR  - http://publikationen.ub.uni-frankfurt.de/frontdoor/index/index/docId/63387
UR  - https://nbn-resolving.org/urn:nbn:de:hebis:30:3-633878
UR  - https://www2.ki.informatik.uni-frankfurt.de/papers/frank/frank-60v2.pdf
IS  - [version 2.0] October 21, 2019
SP  - 1
EP  - 53
PB  - Institut für Informatik, Fachbereich Mathematik und Informatik Goethe-Universität Frankfurt am Main
CY  - Frankfurt am Main
ER  -