Using higher-order logic for modular specification of real-time distributed systems

• Authors:

• Glenn H. MacEwen;David R. Skillicorn

• Affiliations:

• Queen's Univ., Kingston, Ontario, Canada;Queen's Univ., Kingston, Ontario, Canada

• Venue:
• Proceedings of a Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
• Year:
• 1988