Alexander I. Tomlinson
According to our database1, Alexander I. Tomlinson
Legend:Book In proceedings Article PhD thesis Other
Monitoring Functions on Global States of Distributed Programs.
J. Parallel Distrib. Comput., 1997
Using the Causal Domain to Specify and verify Distributed Programs.
Acta Inf., 1997
Expressing and detecting control flow properties of distributed computations.
Proceedings of the Seventh IEEE Symposium on Parallel and Distributed Processing, 1995
Observation of Software for Distributed Systems with RCL.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1995
Causality versus time: how to specify and verify distributed algorithms.
Proceedings of the Sixth IEEE Symposium on Parallel and Distributed Processing, 1994
On the Fly Testing of Regular Patterns in Distributed Computations.
Proceedings of the 1994 International Conference on Parallel Processing, 1994
Using Induction to Prove Properties of Distributed Programs.
Proceedings of the Fifth IEEE Symposium on Parallel and Distributed Processing, 1993
Detecting Relational Global Predicates in Distributed Systems.
Proceedings of the ACM/ONR Workshop on Parallel and Distributed Debugging, 1993