1: \begin{abstract}

2: %\input{abstract-CH}

3: %%% TEXEXPAND: INCLUDED FILE MARKER ./abstract-CHWS.tex

4: Comparison of concurrent programming languages and  correctness of program transformations in concurrency are the focus of this research.

5: As criterion we use contextual semantics adapted to concurrency, where may- as well as should-convergence are observed.

6: We investigate the relation between the synchronous pi-calculus and a core language of Concurrent Haskell (CH). 

7: The contextual semantics is on the one hand forgiving

8: with respect to the details of the operational semantics, and on the other hand

9: implies strong requirements for the interplay between the processes after translation.  

10: Our result is that CH embraces the synchronous pi-calculus.   

11: Our main task is to find and prove correctness of encodings of pi-calculus channels by CH's concurrency primitives, which are  MVars. 

12: They behave like (blocking) 1-place buffers modelling the shared-memory. 

13: The first developed translation uses an extra private MVar

14: for every communication.

15: We also automatically generate 

16: and check potentially correct translations that reuse the MVars 

17: where

18: one MVar contains the message and two additional MVars for synchronization are

19: used to model the synchronized communication of a single channel in the pi-calculus.    

20: Our automated experimental results 

21: lead to the conjecture that one additional MVar is insufficient.

22: %%% TEXEXPAND: END FILE ./abstract-CHWS.tex

23: \end{abstract}

24: