A Formal Specification of the CORBA Event Service

IFIP Advances in Information and Communication Technology - United States
doi 10.1007/978-0-387-35520-7_19