Specifying distributed information systems: fundamentals of an object-oriented approach using distributed temporal logic

• Authors:

• G. Denker;H.-D. Ehrich

• Affiliations:

• -;-

• Venue:
• FMOODS '97 Proceedings of the IFIP TC6 WG6.1 international workshop on Formal methods for open object-based distributed systems
• Year:
• 1997