Authors: TOMLINSON AI GARG VK

Citation: Ai. Tomlinson et Vk. Garg, MONITORING FUNCTIONS ON GLOBAL STATES OF DISTRIBUTED PROGRAMS, Journal of parallel and distributed computing, 41(2), 1997, pp. 173-189

Authors: GARG VK TOMLINSON AI

Citation: Vk. Garg et Ai. Tomlinson, USING THE CAUSAL DOMAIN TO SPECIFY AND VERIFY DISTRIBUTED PROGRAMS, Acta informatica, 34(9), 1997, pp. 667-686