A CPS encoding of name-passing in higher-order mobile embedded resources

DOI10.1016/j.tcs.2006.02.006zbMath1092.68064OpenAlexW2096921579MaRDI QIDQ2491640

Thomas Troels Hildebrandt, Mikkel Bundgaard, Jens Chr. Godskesen

Publication date: 29 May 2006

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2006.02.006

zbMATH Keywords

\(\pi\)-calculusexplicit substitutionscontinuation-passingname-passing encodingnested locationsprocess-passing

Mathematics Subject Classification ID

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

Related Items (11)

Distinguishing and relating higher-order and first-order processes by expressiveness ⋮ Parameterizing higher-order processes on names and processes ⋮ More on bisimulations for higher order \(\pi\)-calculus ⋮ Unnamed Item ⋮ Aeolus: a component model for the cloud ⋮ Decidable Fragments of a Higher Order Calculus with Locations ⋮ A CPS encoding of name-passing in higher-order mobile embedded resources ⋮ Termination in higher-order concurrent calculi ⋮ On the relative expressiveness of higher-order session processes ⋮ On the Relative Expressiveness of Higher-Order Session Processes ⋮ On parameterization of higher-order processes

Cites Work

• A calculus of mobile processes. I
• Plain CHOCS. A second generation calculus for higher order processes
• A \(\pi\)-calculus with explicit substitutions
• Mobile ambients
• A CPS encoding of name-passing in higher-order mobile embedded resources
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A CPS encoding of name-passing in higher-order mobile embedded resources