Authors: Bastide, R Palanque, P Sy, O Navarre, D

Citation: R. Bastide et al., Format specification of CORBA services: Experience and lessons learned., ACM SIGPL N, 35(10), 2000, pp. 105-117

Authors: Bastide, R Sy, O Palanque, P

Citation: R. Bastide et al., A formal notation and tool for the engineering of CORBA systems, CONCURRENCY, 12(14), 2000, pp. 1379-1403