Cyprian F. Ngolah, Yingxu Wang. Formal specification of CORBA-based distributed objects and behaviors. In Proceedings of the 4th IEEE International Conference on Cognitive Informatics (ICCI 2005), August 8-10, 2005, University of California, Irvine, USA. pages 331-339, IEEE, 2005. [doi]
Abstract is missing.