Alexander I. Tomlinson

According to our database, Alexander I. Tomlinson authored at least 9 papers between 1993 and 1997.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

1997

Monitoring Functions on Global States of Distributed Programs.

Alexander I. Tomlinson, Vijay K. Garg

J. Parallel Distributed Comput., 1997

Using the Causal Domain to Specify and verify Distributed Programs.

Vijay K. Garg, Alexander I. Tomlinson

Acta Informatica, 1997

1995

Expressing and detecting control flow properties of distributed computations.

Vijay K. Garg, Alexander I. Tomlinson, Eddy Fromentin, Michel Raynal

Proceedings of the Seventh IEEE Symposium on Parallel and Distributed Processing, 1995

Observation of Software for Distributed Systems with RCL.

Alexander I. Tomlinson, Vijay K. Garg

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1995

1994

Causality versus time: how to specify and verify distributed algorithms.

Vijay K. Garg, Alexander I. Tomlinson

Proceedings of the Sixth IEEE Symposium on Parallel and Distributed Processing, 1994

On the Fly Testing of Regular Patterns in Distributed Computations.

Eddy Fromentin, Michel Raynal, Vijay K. Garg, Alexander I. Tomlinson

Proceedings of the 1994 International Conference on Parallel Processing, 1994

1993

Using Induction to Prove Properties of Distributed Programs.

Vijay K. Garg, Alexander I. Tomlinson

Proceedings of the Fifth IEEE Symposium on Parallel and Distributed Processing, 1993

Detecting Relational Global Predicates in Distributed Systems.

Alexander I. Tomlinson, Vijay K. Garg

Proceedings of the ACM/ONR Workshop on Parallel and Distributed Debugging, 1993

An algorithm for minimally latent global virtual time.

Alexander I. Tomlinson, Vijay K. Garg

Proceedings of the Seventh Workshop on Parallel and Distributed Simulation, 1993