default search action

combined dblp search
author search
venue search
publication search

ask others

Alexander I. Tomlinson

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1997
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/GargT97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/GargT97
Vijay K. Garg, Alexander I. Tomlinson:
Using the Causal Domain to Specify and verify Distributed Programs. Acta Informatica 34(9): 667-686 (1997)
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jpdc/TomlinsonG97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jpdc/TomlinsonG97
Alexander I. Tomlinson, Vijay K. Garg:
Monitoring Functions on Global States of Distributed Programs. J. Parallel Distributed Comput. 41(2): 173-189 (1997)
1995
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/fsttcs/TomlinsonG95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/TomlinsonG95
Alexander I. Tomlinson, Vijay K. Garg:
Observation of Software for Distributed Systems with RCL. FSTTCS 1995: 195-209
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/spdp/GargTFR95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spdp/GargTFR95
Vijay K. Garg, Alexander I. Tomlinson, Eddy Fromentin, Michel Raynal:
Expressing and detecting control flow properties of distributed computations. SPDP 1995: 432-438
1994
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/icpp/FromentinRGT94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icpp/FromentinRGT94
Eddy Fromentin, Michel Raynal, Vijay K. Garg, Alexander I. Tomlinson:
On the Fly Testing of Regular Patterns in Distributed Computations. ICPP (2) 1994: 73-76
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/spdp/GargT94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spdp/GargT94
Vijay K. Garg, Alexander I. Tomlinson:
Causality versus time: how to specify and verify distributed algorithms. SPDP 1994: 249-256
1993
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/pads/TomlinsonG93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pads/TomlinsonG93
Alexander I. Tomlinson, Vijay K. Garg:
An algorithm for minimally latent global virtual time. PADS 1993: 35-42
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/pdd/TomlinsonG93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pdd/TomlinsonG93
Alexander I. Tomlinson, Vijay K. Garg:
Detecting Relational Global Predicates in Distributed Systems. Workshop on Parallel and Distributed Debugging 1993: 21-31
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/spdp/GargT93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spdp/GargT93
Vijay K. Garg, Alexander I. Tomlinson:
Using Induction to Prove Properties of Distributed Programs. SPDP 1993: 478-485

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.