On context bisimulation for parameterized higher-order processes

MaRDI QIDQ4994121zbMATH OpenFDO

Authors Xian Xu

Publication date 17 June 2021

Full work available at URL https://arxiv.org/abs/1310.4572, http://eptcs.web.cse.unsw.edu.au/paper.cgi?ICE2013.5

zbMATH Keywords

context bisimulationhigher-order processesnormal bisimulation

Mathematics Subject Classification ID

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

Recommendations

• Parameterizing higher-order processes on names and processes
• Bisimulation for higher-order process calculi
• Characteristic bisimulation for higher-order session processes
• On parameterization of higher-order processes
• Higher-order processes with parameterization over names and processes

Cited in

(11)

• On the interactive power of higher-order processes extended with parameterization
• Characteristic bisimulation for higher-order session processes
• A menagerie of non-finitely based process semantics over BPA* – from ready simulation to completed traces
• scientific article; zbMATH DE number 4119652 (Why is no real title available?)
• First-order semantics for higher-order processes
• Higher-order processes with parameterization over names and processes
• Parameterizing higher-order processes on names and processes
• Characteristic bisimulation for higher-order session processes
• Parameterised bisimulations: some applications
• On decidability of the bisimilarity on higher-order processes with parameterization
• Bisimulation for higher-order process calculi

This page was built for publication: On context bisimulation for parameterized higher-order processes

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