Вы здесь
Tomlinson A. I.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | An Algorithm for Minimally Latent Global Virtual Time | 1993 | Tomlinson A. I., Garg V. K. | Simulation Digest | 03.11.1993 | |||
| СТ | Detecting Relational Global Predicates in Distributed Systems | 1993 | Tomlinson A. I., Garg V. K. | SIGPLAN Notices | 25.03.1994 | |||
| СТ | Using the Causal Domain to Specify and Verify Distributed Programs | 1997 | Garg V. K., Tomlinson A. I. | Acta Informatica | 21.10.1997 |