A concurrent lambda calculus with futures (2006)

by J Niehren, J Schwinghammer, G Smolka
Venue:Theoretical Computer Science