Pages that link to "Item:Q5170669"

The following pages link to Decidable Fragments of a Higher Order Calculus with Locations (Q5170669):

Displaying 2 items.

• On the expressiveness and decidability of higher-order process calculi (Q627133) (← links)
• On the interactive power of higher-order processes extended with parameterization (Q2026374) (← links)