( en | de | ru )

 

Disambiguation of "Garg, Vijay K."

Author of the publication

copydeleteadd this publication to your clipboard
Predicates and predicate transformers for supervisory control of discrete event dynamical systems.

, , and . IEEE Trans. Autom. Control., 38 (2): 232-247 (1993)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Neil Garg

Balakumar Vijayakrishnan

Vijay Divi

Vijay Singh

Animesh Garg

 

Other publications of authors with the same name

Software Fault Tolerance of Concurrent Programs Using Controlled Re-execution., and . DISC, volume 1693 of Lecture Notes in Computer Science, page 210-224. Springer, (1999)Efficient Detection of Restricted Classes of Global Predicates., and . WDAG, volume 972 of Lecture Notes in Computer Science, page 303-317. Springer, (1995)On Checking Whether a Predicate Definitely Holds., and . FATES, volume 2931 of Lecture Notes in Computer Science, page 15-29. Springer, (2003)Observation of Software for Distributed Systems with RCL., and . FSTTCS, volume 1026 of Lecture Notes in Computer Science, page 195-209. Springer, (1995)Optimization of BLAS on the Cell Processor., , , , , and . HiPC, volume 5374 of Lecture Notes in Computer Science, page 18-29. Springer, (2008)Lattice Agreement in Message Passing Systems., , and . DISC, volume 121 of LIPIcs, page 41:1-41:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Linearizable Replicated State Machines With Lattice Agreement., , and . OPODIS, volume 153 of LIPIcs, page 29:1-29:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)ActiveMonitor: Asynchronous Monitor Framework for Scalability and Multi-Object Synchronization., , and . OPODIS, volume 46 of LIPIcs, page 29:1-29:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Monitoring Functions on Global States of Distributed Programs., and . J. Parallel Distributed Comput., 41 (2): 173-189 (1997)Analysis of Distributed Systems With Many Identical Processes.. ICDCS, page 358-365. IEEE Computer Society, (1988)