1 citations · 3 across the 6 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2020★ 1 cited
Correctly Implementing Synchronous Message Passing in the Pi-Calculus By Concurrent Haskell's MVars
Manfred Schmidt-Schauß, David Sabel
Comparison of concurrent programming languages and correctness of program transformations in concurrency are the focus of this research. As criterion we use contextual semantics ad…
cs.PL2019
Proceedings Fifth International Workshop on Rewriting Techniques for Program Transformations and Evaluation
Joachim Niehren, David Sabel
This volume contains the formal proceedings of the 5th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2018), held on 8th of Juli 20…