Observational semantics for a concurrent lambda calculus with reference cells and futures

DOI10.1016/J.ENTCS.2007.02.041MaRDI QIDQ5262945zbMATH OpenOpenAlexFDO

Authors Joachim Niehren, David Sabel, Manfred Schmidt-Schauß, Jan Schwinghammer

Publication date 10 July 2015

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2007.02.041

zbMATH Keywords

semanticslambda calculusconcurrent programming languages

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Frontiers of Combining Systems
• A concurrent lambda calculus with futures
• scientific article; zbMATH DE number 1479607
• Semantics for core Concurrent ML using computation types
• The semantics of Scheme with future

Cites work

• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• scientific article; zbMATH DE number 2090728 (Why is no real title available?)
• A Powerdomain Construction
• A call-by-need lambda calculus with locally bottom-avoiding choice: context lemma and correctness of transformations
• A concurrent lambda calculus with futures
• A non-deterministic call-by-need lambda calculus
• A theory of bisimulation for a fragment of concurrent ML with local names
• A theory of weak bisimulation for Core CML
• On the representation of McCarthy's \(amb\) in the \(\pi\)-calculus
• The \(\pi\)-calculus: A theory of mobile processes
• The lazy lambda calculus in a concurrency scenario
• The semantics of future and an application

Cited in

(13)

• Behavioral interface description of an object-oriented language with futures and promises
• ASP\(_{\text{fun}}\) : a typed functional active object calculus
• A concurrent lambda calculus with futures
• A small-step semantics of a concurrent calculus with Goroutines and deferred functions
• The semantics of Scheme with future
• Observational program calculi and the correctness of translations
• Frontiers of Combining Systems
• On generic context lemmas for higher-order calculi with sharing
• Asynchronous sequential processes
• scientific article; zbMATH DE number 7453965 (Why is no real title available?)
• scientific article; zbMATH DE number 177855 (Why is no real title available?)
• Closures of may-, should- and must-convergences for contextual equivalence
• Structural Rewriting in the pi-Calculus.

Describes a project that uses

Uses Software

• JoCaml
• Oz

This page was built for publication: Observational semantics for a concurrent lambda calculus with reference cells and futures

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