The following pages link to Theory of interaction (Q896903):
Displaying 11 items.
- Extensional Petri net (Q667521) (← links)
- Model independent approach to probabilistic models (Q831149) (← 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)
- Replacement freeness: a criterion for separating process calculi (Q2210864) (← links)
- (Q3385647) (← links)
- (Q5015357) (← links)
- Parameterizing higher-order processes on names and processes (Q5108373) (← links)
- (Q5111635) (← links)
- (Q5119395) (← links)
