Correctness of Program Translations for Observational Semantics
(pdf)
Manfred Schmidt-Schauß, David Sabel, Joachim Niehren, Jan Schwinghammer
Draft
Correctly Translating Concurrency Primitives
(pdf)
Jan Schwinghammer, David Sabel, Manfred Schmidt-Schauß, Joachim Niehren
2009 ACM SIGPLAN Workshop on ML (ML'09)
On Correctness of Buffer Implementations in a Concurrent Lambda Calculus with Futures
(pdf)
Jan Schwinghammer, David Sabel, Joachim Niehren, Manfred Schmidt-Schauß
Technical Report
On Proving the Equivalence of Concurrency Primitives
(pdf)
Jan Schwinghammer, David Sabel, Joachim Niehren, Manfred Schmidt-Schauß
Technical Report
Adequacy of Compositional Translations for Observational Semantics
(pdf)
Manfred Schmidt-Schauß, Joachim Niehren, David Sabel, Jan Schwinghammer
5th IFIP International Conference on Theoretical Computer Science
Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures
(pdf)
Joachim Niehren, David Sabel, Manfred Schmidt-Schauß, Jan Schwinghammer
23rd Conference on Mathematical Foundations of Programming Semantics (MFPS XXIII)
Program Equivalence for a Concurrent Lambda Calculus with Futures
(pdf)
Joachim Niehren, David Sabel, Manfred Schmidt-Schauß, Jan Schwinghammer
Technical Report, Revised version appeared Proc. of Mathematical Foundations of Programming Semantics (23rd MFPS), April 2007