Alexander I. Tomlinson

	1997
6		Vijay 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

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