Pages that link to "Item:Q3587459"
From MaRDI portal
The following pages link to On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi (Q3587459):
Displaying 14 items.
- On the expressiveness and decidability of higher-order process calculi (Q627133) (← links)
- Theory of interaction (Q896903) (← links)
- On the validity of encodings of the synchronous in the asynchronous \(\pi\)-calculus (Q1641151) (← links)
- Distinguishing and relating higher-order and first-order processes by expressiveness (Q1935453) (← links)
- On the interactive power of higher-order processes extended with parameterization (Q2026374) (← links)
- Expressiveness of concurrent intensionality (Q2193283) (← links)
- On the relative expressiveness of higher-order session processes (Q2272988) (← links)
- On the Relative Expressiveness of Higher-Order Session Processes (Q2802492) (← links)
- On the Expressiveness of Symmetric Communication (Q3179397) (← links)
- On the Expressive Power of Communication Primitives in Parameterised Systems (Q3460063) (← links)
- (Q4727410) (← links)
- (Q5015357) (← links)
- Parameterizing higher-order processes on names and processes (Q5108373) (← links)
- On decidability of the bisimilarity on higher-order processes with parameterization (Q6643749) (← links)
