Frontiers of Combining Systems

DOI10.1007/11559306MaRDI QIDQ5491903zbMATH OpenOpenAlexFDO

Authors Joachim Niehren, Gert Smolka, Jan Schwinghammer

Publication date 10 October 2006

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11559306

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• A concurrent lambda calculus with futures
• Observational semantics for a concurrent lambda calculus with reference cells and futures
• scientific article; zbMATH DE number 1479607
• From a concurrent λ-calculus to the π-calculus
• Semantics for core Concurrent ML using computation types

Cited in

(6)

• A small-step semantics of a concurrent calculus with Goroutines and deferred functions
• Conservative concurrency in Haskell
• Back to futures
• Observational semantics for a concurrent lambda calculus with reference cells and futures
• A calculus of coroutines
• A concurrent lambda calculus with futures

This page was built for publication: Frontiers of Combining Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5491903)