The following pages link to (Q3787458):
Displaying 5 items.
- Finitely dependent processes are finitary (Q782416) (← links)
- A nondeterministic extension over finitely recursive process model (Q1361801) (← links)
- Supervisory control of discrete event systems (Q1922191) (← links)
- Boundedness analysis of finitely recursive processes. I. Concurrent processes (Q4506578) (← links)
- Final universes of processes (Q5890039) (← links)