Alexander I. Tomlinson

According to our database1, Alexander I. Tomlinson
  • authored at least 8 papers between 1993 and 1997.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

1997
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

1995
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

1994
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

1993
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


  Loading...