The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Alexander I. Tomlinson: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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.006secs, Finished in 0.006secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002