scientific article; zbMATH DE number 7453965

MaRDI QIDQ5020947zbMATH OpenFDO

Authors David Sabel, Manfred Schmidt-Schauß

Publication date 7 January 2022

Full work available at URL https://arxiv.org/abs/2008.13359, http://eptcs.web.cse.unsw.edu.au/paper.cgi?EXPRESSSOS2020.8

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A synchronous -calculus
• From computing to interaction: on the expressiveness of asynchronous pi-calculus
• On the validity of encodings of the synchronous in the asynchronous -calculus
• scientific article; zbMATH DE number 1104400
• On the expressive power of polyadic synchronisation in -calculus
• scientific article; zbMATH DE number 2059568
• On the Asynchronous Nature of the Asynchronous π-Calculus
• Conservative concurrency in Haskell
• Concurrent and Located Synchronizations in π-Calculus

Cites work

• A calculus of mobile processes. I
• A concurrent ML library in concurrent Haskell
• Conservative concurrency in Haskell
• Effects as sessions, sessions as effects
• Events in Haskell, and how to implement them
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• scientific article; zbMATH DE number 1542835 (Why is no real title available?)
• scientific article; zbMATH DE number 1863170 (Why is no real title available?)
• scientific article; zbMATH DE number 2090726 (Why is no real title available?)
• Observational program calculi and the correctness of translations
• Observational semantics for a concurrent lambda calculus with reference cells and futures
• Observing success in the pi-calculus
• On the validity of encodings of the synchronous in the asynchronous -calculus
• Session-based concurrency, reactively
• Stronger Validity Criteria for Encoding Synchrony
• The -calculus: A theory of mobile processes
• The chemical abstract machine
• The discriminating power of multiplicities in the \(\lambda\)-calculus
• Towards a unified approach to encodability and separation results for process calculi

Cited in

(1)

• Minimal translations from synchronous communication to synchronizing locks

Describes a project that uses

Uses Software

• MMC

This page was built for publication:

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