Pages that link to "Item:Q6104372"
From MaRDI portal
The following pages link to On the expressiveness of internal mobility in name-passing calculi (Q6104372):
Displaying 6 items.
- \(\pi\)-calculus, internal mobility, and agent-passing calculi (Q671684) (← links)
- Theory of interaction (Q896903) (← links)
- On the expressiveness of internal mobility in name-passing calculi (Q1276243) (← links)
- Asynchronous process calculi: The first- and higher-order paradigms (Q1589656) (← links)
- A CPS encoding of name-passing in higher-order mobile embedded resources (Q2491640) (← links)
- A CPS encoding of name-passing in higher-order mobile embedded resources (Q2848140) (← links)