A concurrent lambda calculus with futures

Joachim Niehren, Jan Schwinghammer, Gert Smolka. A concurrent lambda calculus with futures. Theoretical Computer Science, 364(3):338-356, 2006. [doi]

Abstract

Abstract is missing.