Alexander I. Tomlinson

Publication Activity (10 Years)

Years Active: 1993-1997
Publications (10 Years): 0

Publications

Vijay K. Garg, Alexander I. Tomlinson
Using the Causal Domain to Specify and verify Distributed Programs. Acta Informatica 34 (9) (1997)
Alexander I. Tomlinson, Vijay K. Garg
Monitoring Functions on Global States of Distributed Programs. J. Parallel Distributed Comput. 41 (2) (1997)
Alexander I. Tomlinson, Vijay K. Garg
Observation of Software for Distributed Systems with RCL. FSTTCS (1995)
Vijay K. Garg, Alexander I. Tomlinson, Eddy Fromentin, Michel Raynal
Expressing and detecting control flow properties of distributed computations. SPDP (1995)
Vijay K. Garg, Alexander I. Tomlinson
Causality versus time: how to specify and verify distributed algorithms. SPDP (1994)
Eddy Fromentin, Michel Raynal, Vijay K. Garg, Alexander I. Tomlinson
On the Fly Testing of Regular Patterns in Distributed Computations. ICPP (2) (1994)
Vijay K. Garg, Alexander I. Tomlinson
Using Induction to Prove Properties of Distributed Programs. SPDP (1993)
Alexander I. Tomlinson, Vijay K. Garg
Detecting Relational Global Predicates in Distributed Systems. Workshop on Parallel and Distributed Debugging (1993)
Alexander I. Tomlinson, Vijay K. Garg
An algorithm for minimally latent global virtual time. PADS (1993)