Rémi Bastide, Ousmane Sy, David Navarre, Philippe A. Palanque. A Formal Specification of the CORBA Event Service. In Scott F. Smith, Carolyn L. Talcott, editors, Formal Methods for Open Object-Based Distributed Systems IV, IFIF TC6/WG6.1 Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000), September 6-8, 2000, Stanford, California, USA. Volume 177 of IFIP Conference Proceedings, pages 371-396, Kluwer, 2000.
@inproceedings{BastideSNP00,
title = {A Formal Specification of the CORBA Event Service},
author = {Rémi Bastide and Ousmane Sy and David Navarre and Philippe A. Palanque},
year = {2000},
researchr = {https://researchr.org/publication/BastideSNP00},
cites = {0},
citedby = {0},
pages = {371-396},
booktitle = {Formal Methods for Open Object-Based Distributed Systems IV, IFIF TC6/WG6.1 Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000), September 6-8, 2000, Stanford, California, USA},
editor = {Scott F. Smith and Carolyn L. Talcott},
volume = {177},
series = {IFIP Conference Proceedings},
publisher = {Kluwer},
isbn = {0-7923-7923-3},
}