scientific article; zbMATH DE number 7559490

DOI10.4230/LIPICS.CONCUR.2020.34MaRDI QIDQ5089301zbMATH OpenFDO

Authors Daniel Hirschkoff, Enguerrand Prebet, Davide Sangiorgi

Publication date 18 July 2022

zbMATH Keywords

asynchronybisimulationprocess calculusimperative programming

Mathematics Subject Classification ID

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

Recommendations

• A symbolic semantics for the \(\pi\)-calculus
• scientific article; zbMATH DE number 1759486
• On the representation of McCarthy's amb in the \(\pi\)-calculus
• The \(\lambda \)-calculus in the \(\pi \)-calculus
• On the representation of McCarthy's amb in the -calculus
• scientific article; zbMATH DE number 1082078
• scientific article; zbMATH DE number 1346361
• -calculus in (Co)inductive-type theory
• A fully abstract denotational semantics for the \(\pi\)-calculus
• Contextual equivalence for higher-order -calculus revisited

Cites work

• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• A Distributed Pi-Calculus
• A calculus of mobile processes. II
• A fully abstract model for the \(\pi\)-calculus.
• Enhanced coalgebraic bisimulation
• Full abstraction for Reduced ML
• Global progress for dynamically interleaved multiparty sessions
• Mobile objects as mobile processes
• Non-angelic concurrent game semantics
• On bisimulations for the asynchronous -calculus
• The essence of parallel Algol.
• The marriage of bisimulations and Kripke logical relations
• The name discipline of uniform receptiveness
• Trace semantics for polymorphic references

Cited in

(3)

• Structural inclusion in the pi-calculus with replication
• Processes, systems \& tests: defining contextual equivalences
• On the representation of McCarthy's amb in the \(\pi\)-calculus

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 Q5089301)