A CPS encoding of name-passing in higher-order mobile embedded resources
From MaRDI portal
Publication:2491640
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
\(\pi\)-calculusexplicit substitutionscontinuation-passingname-passing encodingnested locationsprocess-passing
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