The following pages link to Supratik Bose (Q230093):
Displayed 6 items.
- A nondeterministic extension over finitely recursive process model (Q1361801) (← links)
- Comments on "Observability of discrete event dynamic systems" by C. M. Ozveren and A.S. Willsky (Q3140219) (← links)
- On observability with delay: antitheses and syntheses (Q4309225) (← links)
- Boundedness analysis of finitely recursive processes. II. Sequential and hybrid processes (Q4506577) (← links)
- Boundedness analysis of finitely recursive processes. I. Concurrent processes (Q4506578) (← links)
- Logical models of discrete even systems: a comparative exposition (Q5955794) (← links)