Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures
DOI10.1016/J.ENTCS.2007.02.041zbMATH Open1316.68034OpenAlexW1983326670MaRDI QIDQ5262945FDOQ5262945
Manfred Schmidt-Schauß, Joachim Niehren, David Sabel, 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
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)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- A Powerdomain Construction
- The \(\pi\)-calculus: A theory of mobile processes
- The semantics of future and an application
- A concurrent lambda calculus with futures
- A theory of weak bisimulation for Core CML
- A theory of bisimulation for a fragment of concurrent ML with local names
- The lazy lambda calculus in a concurrency scenario
- On the representation of McCarthy's \(amb\) in the \(\pi\)-calculus
- A call-by-need lambda calculus with locally bottom-avoiding choice: context lemma and correctness of transformations
- A non-deterministic call-by-need lambda calculus
Cited In (9)
- Asynchronous sequential processes
- Closures of may-, should- and must-convergences for contextual equivalence
- ASP\(_{\text{fun}}\) : a typed functional active object calculus
- Observational program calculi and the correctness of translations
- Behavioral interface description of an object-oriented language with futures and promises
- Title not available (Why is that?)
- Structural Rewriting in the pi-Calculus.
- On generic context lemmas for higher-order calculi with sharing
- Title not available (Why is that?)
Uses Software
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)
