The following pages link to Ramchandra Phawade (Q2032914):
Displayed 7 items.
- Kleene theorems for free choice automata over distributed alphabets (Q2032915) (← links)
- Combining free choice and time in Petri nets (Q2291812) (← links)
- On timed scope-bounded context-sensitive languages (Q2327552) (← links)
- A Logical Characterization for Dense-Time Visibly Pushdown Automata (Q2798712) (← links)
- A Perfect Class of Context-Sensitive Timed Languages (Q2817374) (← links)
- Kleene Theorems for Product Systems (Q5200095) (← links)
- Kleene Theorems for Synchronous Products with Matching (Q5268457) (← links)