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