Bisimulation congruence of \(\chi\)-calculus

DOI10.1016/S0890-5401(03)00061-0zbMath1028.68093MaRDI QIDQ1398380

Yuxi Fu

Publication date: 29 July 2003

Published in: Information and Computation (Search for Journal in Brave)

zbMATH Keywords

AxiomatizationProcess algebraBisimulationMobile process

Mathematics Subject Classification ID

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

Related Items (3)

Fair ambients ⋮ A pure labeled transition semantics for the applied pi calculus ⋮ Theory of interaction

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• \(\pi\)-calculus, internal mobility, and agent-passing calculi
• A calculus of mobile processes. I
• Reaction graph
• On the expressiveness of internal mobility in name-passing calculi
• On bisimulations for the asynchronous \(\pi\)-calculus
• Plain CHOCS. A second generation calculus for higher order processes
• A theory of higher order communicating systems
• Symmetric \(\pi\)-calculus
• Objects in the \(\pi\)-calculus
• A theory of bisimulation for the \(\pi\)-calculus
• Variations on mobile processes
• Algebraic laws for nondeterminism and concurrency
• A proof theoretical approach to communication
• π-Calculus semantics of object-oriented programming languages
• Complete inference systems for weak bisimulation equivalences in the π-calculus
• Barbed bisimulation

This page was built for publication: Bisimulation congruence of \(\chi\)-calculus