Authors: ATTIE P DAS C

Citation: P. Attie et C. Das, AUTOMATING THE REFINEMENT OF SPECIFICATIONS FOR DISTRIBUTED SYSTEMS VIA SYNTACTIC TRANSFORMATIONS, International Journal of Systems Science, 28(11), 1997, pp. 1129-1144

Authors: ARORA A ATTIE P EVANGELIST M GOUDA M

Citation: A. Arora et al., CONVERGENCE OF ITERATION SYSTEMS, Distributed computing, 7(1), 1993, pp. 43-53