dblp.uni-trier.dewww.uni-trier.de

Alexander I. Tomlinson

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1997
6EEVijay K. Garg, Alexander I. Tomlinson: Using the Causal Domain to Specify and verify Distributed Programs. Acta Inf. 34(9): 667-686 (1997)
5 Alexander I. Tomlinson, Vijay K. Garg: Monitoring Functions on Global States of Distributed Programs. J. Parallel Distrib. Comput. 41(2): 173-189 (1997)
1995
4 Alexander I. Tomlinson, Vijay K. Garg: Observation of Software for Distributed Systems with RCL. FSTTCS 1995: 195-209
1994
3 Eddy Fromentin, Michel Raynal, Vijay K. Garg, Alexander I. Tomlinson: On the Fly Testing of Regular Patterns in Distributed Computations. ICPP 1994: 73-76
1993
2 Vijay K. Garg, Alexander I. Tomlinson: Using Induction to Prove Properties of Distributed Programs. SPDP 1993: 478-485
1 Alexander I. Tomlinson, Vijay K. Garg: Detecting Relational Global Predicates in Distributed Systems. Workshop on Parallel and Distributed Debugging 1993: 21-31

Coauthor Index

1Eddy Fromentin [3]
2Vijay K. Garg [1] [2] [3] [4] [5] [6]
3Michel Raynal [3]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)