On quasi-open bisimulation

DOI10.1016/J.TCS.2004.10.041MaRDI QIDQ557789zbMATH OpenOpenAlexFDO

Authors Yuxi Fu

Publication date 30 June 2005

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

Full work available at URL https://doi.org/10.1016/j.tcs.2004.10.041

zbMATH Keywords

\(\pi\)-calculusaxiomatizationopen bisimulationquasi-open bisimulation

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Open bisimulation, revisited
• Quasi-open bisimilarity with mismatch is intuitionistic
• Open bisimulation, revisited
• A theory of bisimulation for the -calculus
• Some congruence properties for \(\pi\)-calculus bisimilarities

Cites work

• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1223723 (Why is no real title available?)
• scientific article; zbMATH DE number 1863170 (Why is no real title available?)
• A calculus of mobile processes. I
• A complete axiomatisation for observational congruence of finite-state behaviours
• A complete inference system for a class of regular behaviours
• A theory of bisimulation for the \(\pi\)-calculus
• Algebraic theories for name-passing calculi
• Symbolic bisimulations
• Tau laws for pi calculus
• The \(\pi\)-calculus: A theory of mobile processes

Cited in

(12)

• Fair ambients
• Parameterizing higher-order processes on names and processes
• Theory of interaction
• On the expressiveness of interaction
• Quasi-open bisimilarity with mismatch is intuitionistic
• Open bisimulation, revisited
• Distinguishing and relating higher-order and first-order processes by expressiveness
• Open bisimulation, revisited
• Applying a testing approach to the calculus of fair ambients
• Higher-order processes with parameterization over names and processes
• Open Maps Bisimulations for Higher Dimensional Automata Models
• INQUISITIVE BISIMULATION

This page was built for publication: On quasi-open bisimulation

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