scientific article; zbMATH DE number 7204939

DOI10.4230/LIPIcs.CONCUR.2017.22zbMath1442.68140MaRDI QIDQ5111635

Yuxi Fu

Publication date: 27 May 2020

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

bisimulationexpressivenessinteraction theory

Mathematics Subject Classification ID

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

Related Items (2)

Extensional Petri net ⋮ A thesis for interaction

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• \(\pi\)-calculus, internal mobility, and agent-passing calculi
• Symbolic bisimulations
• The lambda calculus. Its syntax and semantics. Rev. ed.
• Theory of interaction
• On the expressiveness of interaction
• A calculus of mobile processes. I
• A theory of communicating processes with value passing
• A theory of higher order communicating systems
• What is a ``good encoding of guarded choice?
• Objects in the \(\pi\)-calculus
• Distinguishing and relating higher-order and first-order processes by expressiveness
• A thesis for interaction
• The Value-Passing Calculus
• Expressiveness of Process Algebras
• Towards a Unified Approach to Encodability and Separation Results for Process Calculi
• Functions as processes
• From π-calculus to higher-order π-calculus — and back
• Barbed bisimulation
• Non-deterministic structures of computation
• Welcome to the Jungle: A Subjective Guide to Mobile Process Calculi

This page was built for publication: