Program Equivalence for a Concurrent Lambda Calculus with Futures (2006)

by Joachim Niehren , David Sabel , Manfred Schmidt-Schauß , Jan Schwinghammer