Search the dblp DataBase
Alexander I. Tomlinson: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Alexander I. Tomlinson, Vijay K. Garg
Observation of Software for Distributed Systems with RCL. [Citation Graph (0, 0)][DBLP]
FSTTCS, 1995, pp:195-209 [Conf] - Eddy Fromentin, Michel Raynal, Vijay K. Garg, Alexander I. Tomlinson
On the Fly Testing of Regular Patterns in Distributed Computations. [Citation Graph (0, 0)][DBLP]
ICPP, 1994, pp:73-76 [Conf] - Alexander I. Tomlinson, Vijay K. Garg
Detecting Relational Global Predicates in Distributed Systems. [Citation Graph (0, 0)][DBLP]
Workshop on Parallel and Distributed Debugging, 1993, pp:21-31 [Conf] - Vijay K. Garg, Alexander I. Tomlinson
Using Induction to Prove Properties of Distributed Programs. [Citation Graph (0, 0)][DBLP]
SPDP, 1993, pp:478-485 [Conf] - Vijay K. Garg, Alexander I. Tomlinson
Using the Causal Domain to Specify and verify Distributed Programs. [Citation Graph (0, 0)][DBLP]
Acta Inf., 1997, v:34, n:9, pp:667-686 [Journal] - Alexander I. Tomlinson, Vijay K. Garg
Monitoring Functions on Global States of Distributed Programs. [Citation Graph (0, 0)][DBLP]
J. Parallel Distrib. Comput., 1997, v:41, n:2, pp:173-189 [Journal]
Search in 0.053secs, Finished in 0.053secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002