The following pages link to (Q2848140):
Displaying 7 items.
- On the expressiveness and decidability of higher-order process calculi (Q627133) (← links)
- Characterizing contextual equivalence in calculi with passivation (Q651309) (← links)
- Distinguishing and relating higher-order and first-order processes by expressiveness (Q1935453) (← links)
- A CPS encoding of name-passing in higher-order mobile embedded resources (Q2491640) (← links)
- Howe’s Method for Calculi with Passivation (Q3184692) (← links)
- Normal Bisimulations in Calculi with Passivation (Q3617734) (← links)
- Decidable Fragments of a Higher Order Calculus with Locations (Q5170669) (← links)
