An algorithm for minimally latent global virtual time. - Alexander I. Tomlinson; Vijay K. Garg (PADS, 1993)

Detecting Relational Global Predicates in Distributed Systems. - Alexander I. Tomlinson; Vijay K. Garg (Workshop on Parallel and Distributed Debugging, 1993)

Using Induction to Prove Properties of Distributed Programs. - Vijay K. Garg; Alexander I. Tomlinson (SPDP, 1993)

On the Fly Testing of Regular Patterns in Distributed Computations. - Eddy Fromentin; Michel Raynal; Vijay K. Garg; Alexander I. Tomlinson (ICPP (2), 1994)

Causality versus time: how to specify and verify distributed algorithms. - Vijay K. Garg; Alexander I. Tomlinson (SPDP, 1994)

Observation of Software for Distributed Systems with RCL. - Alexander I. Tomlinson; Vijay K. Garg (FSTTCS, 1995)

Expressing and detecting control flow properties of distributed computations. - Vijay K. Garg; Alexander I. Tomlinson; Eddy Fromentin; Michel Raynal (SPDP, 1995)

Using the Causal Domain to Specify and verify Distributed Programs. - Vijay K. Garg; Alexander I. Tomlinson (Acta Informatica, 1997)

Monitoring Functions on Global States of Distributed Programs. - Alexander I. Tomlinson; Vijay K. Garg (J. Parallel Distributed Comput., 1997)