On parameterization of higher-order processes

DOI10.1080/00207160.2016.1210793zbMATH Open1409.68191OpenAlexW2467579942MaRDI QIDQ4976336FDOQ4976336

Authors: Qiang Yin, Xian Xu, Huan Long 

Publication date: 28 July 2017

Published in: International Journal of Computer Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/00207160.2016.1210793

Recommendations

• Higher-order processes and their models
• On the interactive power of higher-order processes extended with parameterization
• scientific article; zbMATH DE number 1104014
• Parameterizing higher-order processes on names and processes
• Classical higher-order processes (short paper)
• On some classes of nonstationary parametric processes
• scientific article; zbMATH DE number 953268
• Higher order PDE’s and iterated processes
• Higher order representations of the Robbins--Monro process
• scientific article; zbMATH DE number 1829303

zbMATH Keywords

expressivenessparameterizationcontext bisimulationhigher-order process calculinormal bisimulation

Mathematics Subject Classification ID

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

Cites Work

• Functions as processes
• Bisimulation for higher-order process calculi
• A calculus of mobile processes. I
• A Distributed Pi-Calculus
• On the bisimulation proof method
• The \(\pi\)-calculus: A theory of mobile processes
• \(\pi\)-calculus, internal mobility, and agent-passing calculi
• Mobile ambients
• Expressiveness of process algebras
• A CPS encoding of name-passing in higher-order mobile embedded resources
• Contextual equivalence for higher-order pi-calculus revisited
• On the expressiveness and decidability of higher-order process calculi
• Characterizing contextual equivalence in calculi with passivation
• Plain CHOCS. A second generation calculus for higher order processes
• On the relative expressive power of calculi for mobility
• Distinguishing and relating higher-order and first-order processes by expressiveness
• On Bisimulation Theory in Linear Higher-Order π-Calculus

Cited In (5)

• Parameterizing higher-order processes on names and processes
• On context bisimulation for parameterized higher-order processes
• On the interactive power of higher-order processes extended with parameterization
• On decidability of the bisimilarity on higher-order processes with parameterization
• Higher-order processes with parameterization over names and processes

This page was built for publication: On parameterization of higher-order processes

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