On decidability of the bisimilarity on higher-order processes with parameterization

DOI10.4204/EPTCS.339.8MaRDI QIDQ6643749zbMATH OpenFDO

Authors Xian Xu, Wen-bo Zhang

Publication date 26 November 2024

Full work available at URL https://doi.org/10.4204/EPTCS.339.8

Mathematics Subject Classification ID

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

Recommendations

• On context bisimulation for parameterized higher-order processes
• On the expressiveness and decidability of higher-order process calculi
• Parameterizing higher-order processes on names and processes
• Higher-order processes with parameterization over names and processes
• On parameterization of higher-order processes

Cites work

• \(\mathrm{HO}\pi\) in Coq
• \(\pi\)-calculus, internal mobility, and agent-passing calculi
• Decidable fragments of a higher order calculus with locations
• Equivalence-checking on infinite-state systems: Techniques and results
• First-order reasoning for higher-order concurrency
• Global Computing
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1841829 (Why is no real title available?)
• scientific article; zbMATH DE number 3400430 (Why is no real title available?)
• scientific article; zbMATH DE number 2242597 (Why is no real title available?)
• On decidability of the bisimilarity on higher-order processes with parameterization
• On parameterization of higher-order processes
• On the expressive power of recursion, replication and iteration in process calculi
• On the expressiveness and decidability of higher-order process calculi
• On the Expressiveness of Forwarding in Higher-Order Communication
• On the expressiveness of polyadic and synchronous communication in higher-order process calculi
• Parameterizing higher-order processes on names and processes
• Plain CHOCS. A second generation calculus for higher order processes
• The -calculus: A theory of mobile processes
• The lambda calculus. Its syntax and semantics. Rev. ed.
• Undecidability of bisimilarity for Petri nets and some related problems
• Unique decomposition of processes

Cited in

(1)

• On decidability of the bisimilarity on higher-order processes with parameterization

This page was built for publication: On decidability of the bisimilarity on higher-order processes with parameterization

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