An Object-Oriented Approach to the Formal Specification of ODP Trader

• Authors:

• Jin Song Dong;Roger Duke

• Affiliations:

• -;-

• Venue:
• Proceedings of the IFIP TC6/WG6.1 International Conference on Open Distributed Processing II
• Year:
• 1993