Some congruence properties for -calculus bisimilarities

DOI10.1016/S0304-3975(97)00125-4MaRDI QIDQ1129260zbMATH OpenFDO

Authors Michele Boreale, Davide Sangiorgi

Publication date 13 August 1998

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0304-3975(97)00125-4

zbMATH Keywords

\(\pi\)-calculusbisimulationcausalitycongruence

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• A theory of bisimulation for the -calculus
• On Bisimilarity and Substitution in Presence of Replication
• Concurrent and Located Synchronizations in π-Calculus
• On bisimulations for the asynchronous π-calculus

Cites work

• \(\pi\)-calculus, internal mobility, and agent-passing calculi
• A calculus of mobile processes. II
• A fully abstract semantics for causality in the \(\pi\)-calculus
• A theory of bisimulation for the -calculus
• Asynchronous process calculi: The first- and higher-order paradigms
• Comparing locality and causality based equivalences
• scientific article; zbMATH DE number 1398006 (Why is no real title available?)
• scientific article; zbMATH DE number 3400430 (Why is no real title available?)
• Logic and Algebra of Specification
• On the bisimulation proof method

Cited in

(26)

• On the expressiveness of internal mobility in name-passing calculi
• On bisimulations for the asynchronous -calculus
• Complete inference systems for weak bisimulation equivalences in the -calculus.
• Language-based performance prediction for distributed and mobile systems
• Tau laws for pi calculus
• The \(C_\pi\)-calculus: a model for confidential name passing
• Bisimulation and coinduction enhancements: a historical perspective
• A presheaf environment for the explicit fusion calculus
• \(\pi\)-calculus with noisy channels
• A Category of Explicit Fusions
• A Distribution Law for CCS and a New Congruence Result for the pi-calculus
• External equality and absolute equality coincide in finite CCS and calculus without summation
• Trees from functions as processes
• Matching in the pi-calculus
• Remark on some \(\pi\) variants
• Concurrent and Located Synchronizations in π-Calculus
• Open Bisimulation for the Concurrent Constraint Pi-Calculus
• Computational and Information Science
• On quasi-open bisimulation
• Concurrency cannot be observed, asynchronously
• A Distribution Law for CCS and a New Congruence Result for the π-Calculus
• Explicit substitutions for -congruences
• Bisimulations in the join-calculus
• Strong normalisation in the \(\pi\)-calculus
• Bisimulations respecting duration and causality for the non-interleaving applied \(\pi\)-calculus
• Probabilistic and nondeterministic aspects of anonymity

This page was built for publication: Some congruence properties for \(\pi\)-calculus bisimilarities

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