Pages that link to "Item:Q2491640"
From MaRDI portal
The following pages link to A CPS encoding of name-passing in higher-order mobile embedded resources (Q2491640):
Displaying 11 items.
- More on bisimulations for higher order \(\pi\)-calculus (Q442289) (← links)
- Aeolus: a component model for the cloud (Q476172) (← links)
- Termination in higher-order concurrent calculi (Q710674) (← links)
- Distinguishing and relating higher-order and first-order processes by expressiveness (Q1935453) (← links)
- On the relative expressiveness of higher-order session processes (Q2272988) (← links)
- A CPS encoding of name-passing in higher-order mobile embedded resources (Q2491640) (← links)
- On the Relative Expressiveness of Higher-Order Session Processes (Q2802492) (← links)
- On parameterization of higher-order processes (Q4976336) (← links)
- (Q5015357) (← links)
- Parameterizing higher-order processes on names and processes (Q5108373) (← links)
- Decidable Fragments of a Higher Order Calculus with Locations (Q5170669) (← links)
