Supratik Bose

Available identifiers

zbMath Open bose.supratikMaRDI QIDQ230093

List of research outcomes

Publication	Date of Publication	Type
Logical models of discrete even systems: a comparative exposition	2002-02-18	Paper
Boundedness analysis of finitely recursive processes. I. Concurrent processes	2000-10-17	Paper
Boundedness analysis of finitely recursive processes. II. Sequential and hybrid processes	2000-10-17	Paper
A nondeterministic extension over finitely recursive process model	1997-07-28	Paper
On observability with delay: antitheses and syntheses	1994-10-12	Paper
Comments on "Observability of discrete event dynamic systems" by C. M. Ozveren and A.S. Willsky	1993-12-07	Paper

Research outcomes over time

This page was built for person: Supratik Bose