scientific article; zbMATH DE number 7440179

zbMath1478.68196arXiv1608.03126MaRDI QIDQ5015357

Xian Xu

Publication date: 7 December 2021

Full work available at URL: https://arxiv.org/abs/1608.03126

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

zbMATH Keywords

parameterizationfirst-order processeshigher-order processescontext bisimulation

Mathematics Subject Classification ID

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

Related Items (1)

Parameterizing higher-order processes on names and processes

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On quasi-open bisimulation
• Characterizing contextual equivalence in calculi with passivation
• Bisimulation for higher-order process calculi
• Theory of interaction
• On the expressiveness of interaction
• A calculus of mobile processes. II
• Plain CHOCS. A second generation calculus for higher order processes
• Distinguishing and relating higher-order and first-order processes by expressiveness
• A CPS encoding of name-passing in higher-order mobile embedded resources
• On the Relative Expressiveness of Higher-Order Session Processes
• On the Relative Expressive Power of Calculi for Mobility
• Towards a Unified Approach to Encodability and Separation Results for Process Calculi
• On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi
• Normal Bisimulations in Calculi with Passivation
• On the bisimulation proof method
• Lax Bialgebras and Up-To Techniques for Weak Bisimulations
• Full abstraction for expressiveness: history, myths and facts
• General conditions for full abstraction

This page was built for publication: