Searching for authors named P. S. Thiagarajan – sorted by Relevance.
35 documents found, showing 1 through 10.
Next 10 →
-
Regular Trace Event Structures
- …BRICS Basic Research in Computer Science Regular Trace Event Structures P. S. Thiagarajan BRICS…
- Add To MetaCart
-
Controllers for Discrete Event Systems via Morphisms
- …Controllers for Discrete Event Systems via Morphisms P. Madhusudan 1 and P. S. Thiagarajan 2…
- Cited by 16 (3 self) – Add To MetaCart
-
Distributed Controller Synthesis for Local Specifications
- …Distributed Controller Synthesis for Local Specications P. Madhusudan 1 and P.S. Thiagarajan 2 1…
- Cited by 8 (2 self) – Add To MetaCart
-
A decidable class of asynchronous distributed controllers
- …���A Decidable Class of Asynchronous Distributed Controllers P. Madhusudan 1��� and P.S. Thiagarajan 2…
- Cited by 12 (1 self) – Add To MetaCart
-
An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces
- …An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces 1 P. S. Thiagarajan…
- Cited by 43 (4 self) – Add To MetaCart
-
An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces
- …An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces 1 P. S. Thiagarajan…
- Add To MetaCart
-
Message Sequence Charts
- … Institute of Science Email: dharel@(email omitted); P.S. Thiagarajan School of Computing National University…
- Cited by 2 (1 self) – Add To MetaCart
-
An Executable Specification Language Based on Message Sequence Charts
- …An Executable Specication Language Based on Message Sequence Charts Abhik Roychoudhury and P.S…
- Cited by 2 (1 self) – Add To MetaCart
-
The discrete time behavior of lazy linear hybrid automata
- …���The Discrete Time Behavior of Lazy Linear Hybrid Automata Manindra Agrawal and P. S. Thiagarajan…
- Cited by 3 (0 self) – Add To MetaCart
-
An Event Structure Semantics for General Petri Nets
- …An Event Structure Semantics for General Petri Nets P.W. Hoogers y H.C.M. Kleijn y P.S…
- Cited by 16 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
