scientific article; zbMATH DE number 7559490
From MaRDI portal
Publication:5089301
DOI10.4230/LIPICS.CONCUR.2020.34MaRDI QIDQ5089301FDOQ5089301
Authors: Daniel Hirschkoff, Enguerrand Prebet, Davide Sangiorgi 
Publication date: 18 July 2022
Title of this publication is not available (Why is that?)
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 \(\pi\)-calculus
- scientific article; zbMATH DE number 1082078
- scientific article; zbMATH DE number 1346361
- \(\pi\)-calculus in (Co)inductive-type theory
- A fully abstract denotational semantics for the \(\pi\)-calculus
- Contextual equivalence for higher-order \(\pi\)-calculus revisited
Cites Work
- Title not available (Why is that?)
- A calculus of mobile processes. II
- A Distributed Pi-Calculus
- Global progress for dynamically interleaved multiparty sessions
- Full abstraction for Reduced ML
- A fully abstract model for the \(\pi\)-calculus.
- The name discipline of uniform receptiveness
- The marriage of bisimulations and Kripke logical relations
- Enhanced coalgebraic bisimulation
- On bisimulations for the asynchronous \(\pi\)-calculus
- The essence of parallel Algol.
- Mobile objects as mobile processes
- Non-angelic concurrent game semantics
- Trace semantics for polymorphic references
Cited In (3)
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)
