The following pages link to (Q3906427):
Displaying 8 items.
- Extensional Petri net (Q667521) (← links)
- Automata and concurrency (Q794437) (← links)
- Model independent approach to probabilistic models (Q831149) (← links)
- Theory of interaction (Q896903) (← links)
- On the expressiveness of interaction (Q960859) (← links)
- Counting nondeterministic computations (Q2055958) (← links)
- A thesis for interaction (Q2055962) (← links)
- (Q5111635) (← links)