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 5.0]
N2  - Correctness of program transformations and translations in concurrent programming is the focus of our research. In this case study the relation of the synchronous pi-calculus and a core language of Concurrent Haskell (CH) with asynchronous communication is investigated. We show that CH embraces the synchronous pi-calculus. The formal foundations are contextual semantics in both languages, where may- as well as should-convergence are observed. We succeed in defining and proving smart properties of a particular translation mapping the synchronous pi-calculus into CH. This implies that pi-processes are error-free if and only if their translation is an error-free CH-program Our result shows that the chosen semantics is not only powerful, but can also be applied in concrete and technically complex situations. The developed translation uses private names. We also automatically check potentially correct translations that use global names instead of private names. As a complexity parameter we use the number of MVars introduced by the transformation, where MVars are synchronized 1-place buffers. The automated refutation of incorrect translations leads to a classification of potentially correct translations, and to the conjecture that one global MVar is insufficient.
T3  - Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik - 60 [version 5.0] 
KW  - pi-calculus
KW  - functional programming
KW  - concurrency
KW  - adequate translations
Y1  - 2020
UR  - http://publikationen.ub.uni-frankfurt.de/frontdoor/index/index/docId/63390
UR  - https://nbn-resolving.org/urn:nbn:de:hebis:30:3-633904
UR  - https://www2.ki.informatik.uni-frankfurt.de/papers/frank/frank-60v5.pdf
IS  - [version 5.0] July 13, 2020
SP  - 1
EP  - 54
PB  - Institut für Informatik, Fachbereich Mathematik und Informatik Goethe-Universität Frankfurt am Main
CY  - Frankfurt am Main
ER  -