scientific article; zbMATH DE number 7453965

MaRDI QIDQ5020947

David Sabel, Manfred Schmidt-Schauss

Publication date: 7 January 2022

Full work available at URL: https://arxiv.org/abs/2008.13359

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

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)

Uses Software

• MMC

Cites Work

• The chemical abstract machine
• A calculus of mobile processes. I
• On the validity of encodings of the synchronous in the asynchronous \(\pi\)-calculus
• The discriminating power of multiplicities in the \(\lambda\)-calculus
• Towards a unified approach to encodability and separation results for process calculi
• Observational program calculi and the correctness of translations
• Effects as sessions, sessions as effects
• A concurrent ML library in concurrent Haskell
• Conservative Concurrency in Haskell
• Session-Based Concurrency, Reactively
• Events in Haskell, and how to implement them
• Observing Success in the Pi-Calculus
• Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: