A concurrent lambda calculus with futures

From MaRDI portal
Publication:860851

DOI10.1016/J.TCS.2006.08.016zbMath1110.68023DBLPjournals/tcs/NiehrenSS06OpenAlexW1980339691WikidataQ59759156 ScholiaQ59759156MaRDI QIDQ860851

Joachim Niehren, Gert Smolka, Jan Schwinghammer

Publication date: 9 January 2007

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/inria-00090434/file/0.pdf




Related Items (10)


Uses Software



Cites Work




This page was built for publication: A concurrent lambda calculus with futures