scientific article; zbMATH DE number 7559490

DOI10.4230/LIPICS.CONCUR.2020.34MaRDI QIDQ5089301

Daniel Hirschkoff, Enguerrand Prebet, Davide Sangiorgi

Publication date: 18 July 2022

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

zbMATH Keywords

bisimulationasynchronyprocess calculusimperative programming

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Unnamed Item
• Full abstraction for Reduced ML
• A calculus of mobile processes. II
• On bisimulations for the asynchronous \(\pi\)-calculus
• A fully abstract model for the \(\pi\)-calculus.
• The essence of parallel Algol.
• Non-angelic concurrent game semantics
• The name discipline of uniform receptiveness
• Mobile objects as mobile processes
• The marriage of bisimulations and Kripke logical relations
• A Distributed Pi-Calculus
• Trace semantics for polymorphic references
• Enhanced coalgebraic bisimulation
• Global progress for dynamically interleaved multiparty sessions

This page was built for publication: