A formal notation and tool for the engineering of CORBA systems

RĂ©mi Bastide, Ousmane Sy, Philippe A. Palanque. A formal notation and tool for the engineering of CORBA systems. Concurrency - Practice and Experience, 12(14):1379-1403, 2000.

Abstract

Abstract is missing.