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

DOI10.1016/J.TCS.2006.02.006MaRDI QIDQ2491640zbMATH OpenOpenAlexFDO

Authors Mikkel Bundgaard, Thomas Hildebrandt, 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\)-calculuscontinuation-passingexplicit substitutionsname-passing encodingnested locationsprocess-passing

Mathematics Subject Classification ID

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

Recommendations

• A CPS encoding of name-passing in higher-order mobile embedded resources
• From \(\pi \)-calculus to higher-order \(\pi \)-calculus -- and back
• Encoding mobile ambients into the \(\pi \)-calculus
• From λ to π; or, Rediscovering continuations
• On the expressiveness of internal mobility in name-passing calculi

Cites work

• A \(\pi\)-calculus with explicit substitutions
• A calculus of mobile processes. I
• A CPS encoding of name-passing in higher-order mobile embedded resources
• A CPS encoding of name-passing in higher-order mobile embedded resources
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• scientific article; zbMATH DE number 1954375 (Why is no real title available?)
• scientific article; zbMATH DE number 2059568 (Why is no real title available?)
• scientific article; zbMATH DE number 1927568 (Why is no real title available?)
• Mobile ambients
• Plain CHOCS. A second generation calculus for higher order processes
• The -calculus: A theory of mobile processes

Cited in

(13)

• Distinguishing and relating higher-order and first-order processes by expressiveness
• On the relative expressiveness of higher-order session processes
• A CPS encoding of name-passing in higher-order mobile embedded resources
• On the relative expressiveness of higher-order session processes
• A CPS encoding of name-passing in higher-order mobile embedded resources
• More on bisimulations for higher order \(\pi\)-calculus
• Aeolus: a component model for the cloud
• On parameterization of higher-order processes
• Higher-order processes with parameterization over names and processes
• Parameterizing higher-order processes on names and processes
• Decidable fragments of a higher order calculus with locations
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
• Termination in higher-order concurrent calculi

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

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