Manfred Schmidt-Schauß

Correctly Implementing Synchronous Message Passing in the Pi-Calculus By Concurrent Haskell's MVars

2020 · Electronic Proceedings in Theoretical Computer Science

Comparison of concurrent programming languages and correctness of program transformations in concurrency are the focus of this research. As criterion we use contextual semantics adapted to concurrency, where may -- as well as should -- …