Вы здесь

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