Pages that link to "Item:Q1935453"

The following pages link to Distinguishing and relating higher-order and first-order processes by expressiveness (Q1935453):

Displaying 9 items.

• Theory of interaction (Q896903) (← links)
• On the interactive power of higher-order processes extended with parameterization (Q2026374) (← links)
• A thesis for interaction (Q2055962) (← links)
• On the relative expressiveness of higher-order session processes (Q2272988) (← 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)
• (Q5111635) (← links)