On parameterization of higher-order processes

DOI10.1080/00207160.2016.1210793MaRDI QIDQ4976336zbMATH OpenOpenAlexFDO

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

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)

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

Cites work

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

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)