Sciweavers

ENTCS
2007

Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures

14 years 12 days ago
Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures
Joachim Niehren, David Sabel, Manfred Schmidt-Scha
Added 13 Dec 2010
Updated 13 Dec 2010
Type Journal
Year 2007
Where ENTCS
Authors Joachim Niehren, David Sabel, Manfred Schmidt-Schauß, Jan Schwinghammer
Comments (0)