Pages that link to "Item:Q960859"
From MaRDI portal
The following pages link to On the expressiveness of interaction (Q960859):
Displaying 24 items.
- Reactive Turing machines (Q393091) (← links)
- Extensional Petri net (Q667521) (← links)
- Theory of interaction (Q896903) (← 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)
- Counting nondeterministic computations (Q2055958) (← links)
- A thesis for interaction (Q2055962) (← links)
- Coupled similarity: the first 32 years (Q2182667) (← links)
- Replacement freeness: a criterion for separating process calculi (Q2210864) (← links)
- On the relative expressiveness of higher-order session processes (Q2272988) (← links)
- On the Relative Expressiveness of Higher-Order Session Processes (Q2802492) (← links)
- The Value-Passing Calculus (Q2842635) (← links)
- FROM COMPUTING TO INTERACTION: ON THE EXPRESSIVENESS OF ASYNCHRONOUS PI-CALCULUS (Q2856009) (← links)
- Breaking symmetries (Q2971075) (← links)
- The Decidability of the Reachability Problem for CCS! (Q3090842) (← links)
- The λ-calculus in the π-calculus (Q3094164) (← links)
- (Q3385647) (← links)
- MODELING AND ANALYSIS OF REAL-TIME SYSTEMS WITH MUTEX COMPONENTS (Q4902881) (← links)
- (Q5015357) (← links)
- Parameterizing higher-order processes on names and processes (Q5108373) (← links)
- (Q5111635) (← links)
- Non-deterministic structures of computation (Q5740658) (← links)
- Full abstraction for expressiveness: history, myths and facts (Q5741573) (← links)
- (Q5856418) (← links)
