|
СТ |
Detecting Locally Stable Predicates Without Modifying Application Messages |
2004 |
Atreya R., Mittal N., Garg V. K. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
10.11.2004 |
|
СТ |
Detecting Temporal Logic Predicates in Distributed Programs Using Computation Slicing |
2004 |
Sen A., Garg V. K. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
10.11.2004 |
|
СТ |
Software Fault Tolerance of Concurrent Programs Using Controlled Re-execution |
1999 |
Tarafdar A., Garg V. K. |
|
|
|
Lecture Notes in Computer Science |
29.10.1999 |
|
СТ |
Using the Causal Domain to Specify and Verify Distributed Programs |
1997 |
Garg V. K., Tomlinson A. I. |
|
|
|
Acta Informatica |
21.10.1997 |
|
П |
Expressing and Detecting Control Flow Properties of Distributed Computations |
1994 |
Garg V. K., Tomlinson A., Fromentin E., Raynal M. |
|
|
INRIA |
|
20.10.1995 |
|
СТ |
Detecting Relational Global Predicates in Distributed Systems |
1993 |
Tomlinson A. I., Garg V. K. |
|
|
|
SIGPLAN Notices |
25.03.1994 |
|
СТ |
An Algorithm for Minimally Latent Global Virtual Time |
1993 |
Tomlinson A. I., Garg V. K. |
|
|
|
Simulation Digest |
03.11.1993 |
|
СТ |
Detection of Unstable Predicates in Distributed Programs |
1992 |
Garg V. K., Waldecker B. |
|
|
|
Lecture Notes in Computer Science |
28.12.1992 |
