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

DOI10.1016/j.entcs.2007.02.041zbMath1316.68034OpenAlexW1983326670MaRDI QIDQ5262945

Joachim Niehren, David Sabel, Manfred Schmidt-Schauss, 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

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

Related Items (8)

Behavioral interface description of an object-oriented language with futures and promises ⋮ ASP\(_{\text{fun}}\) : a typed functional active object calculus ⋮ Unnamed Item ⋮ Structural Rewriting in the pi-Calculus. ⋮ On generic context lemmas for higher-order calculi with sharing ⋮ Closures of may-, should- and must-convergences for contextual equivalence ⋮ Asynchronous sequential processes ⋮ Observational program calculi and the correctness of translations

Uses Software

• JoCaml
• Oz

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A concurrent lambda calculus with futures
• The lazy lambda calculus in a concurrency scenario
• On the representation of McCarthy's \(amb\) in the \(\pi\)-calculus
• A theory of bisimulation for a fragment of concurrent ML with local names
• A call-by-need lambda calculus with locally bottom-avoiding choice: context lemma and correctness of transformations
• A Powerdomain Construction
• A theory of weak bisimulation for Core CML
• The semantics of future and an application
• A non-deterministic call-by-need lambda calculus

This page was built for publication: Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures