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

This publication has 4 references indexed in Scilit:

• RNet: A Hard Real-Time Distributed Programming System
  IEEE Transactions on Computers, 1987
• LUSTRE: a declarative language for real-time programming
  Published by Association for Computing Machinery (ACM) ,1987
• Specifying functional and timing behavior for real-time applications
  Published by Springer Nature ,1987
• Safety analysis of timing properties in real-time systems
  IEEE Transactions on Software Engineering, 1986