| |
| 1997 | ||
|---|---|---|
| 6 | EE | Vijay K. Garg, Alexander I. Tomlinson: Using the Causal Domain to Specify and verify Distributed Programs. Acta Inf. 34(9): 667-686 (1997) |
| 5 | Alexander I. Tomlinson, Vijay K. Garg: Monitoring Functions on Global States of Distributed Programs. J. Parallel Distrib. Comput. 41(2): 173-189 (1997) | |
| 1995 | ||
| 4 | Alexander I. Tomlinson, Vijay K. Garg: Observation of Software for Distributed Systems with RCL. FSTTCS 1995: 195-209 | |
| 1994 | ||
| 3 | Eddy Fromentin, Michel Raynal, Vijay K. Garg, Alexander I. Tomlinson: On the Fly Testing of Regular Patterns in Distributed Computations. ICPP 1994: 73-76 | |
| 1993 | ||
| 2 | Vijay K. Garg, Alexander I. Tomlinson: Using Induction to Prove Properties of Distributed Programs. SPDP 1993: 478-485 | |
| 1 | Alexander I. Tomlinson, Vijay K. Garg: Detecting Relational Global Predicates in Distributed Systems. Workshop on Parallel and Distributed Debugging 1993: 21-31 | |
| 1 | Eddy Fromentin | [3] |
| 2 | Vijay K. Garg | [1] [2] [3] [4] [5] [6] |
| 3 | Michel Raynal | [3] |