Pages that link to "Item:Q1935453"
From MaRDI portal
The following pages link to Distinguishing and relating higher-order and first-order processes by expressiveness (Q1935453):
Displaying 12 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)
- Decidability of Behavioral Equivalences in Process Calculi with Name Scoping (Q2894570) (← links)
- On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi (Q3587459) (← links)
- On parameterization of higher-order processes (Q4976336) (← links)
- (Q5015357) (← links)
- From π-calculus to higher-order π-calculus — and back (Q5044732) (← links)
- Parameterizing higher-order processes on names and processes (Q5108373) (← links)
- (Q5111635) (← links)