From a synchronous declarative language to a temporal logic dealing with multiform time

This publication has 7 references indexed in Scilit:

• Signal--A data flow-oriented language for signal processing
  IEEE Transactions on Acoustics, Speech, and Signal Processing, 1986
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986
• Examples of a real-time temporal logic specification
  Published by Springer Nature ,1985
• The ESTEREL synchronous programming language and its mathematical semantics
  Lecture Notes in Computer Science, 1985
• Algèbre de processus et synchronisation
  Theoretical Computer Science, 1984
• Specification and verification of concurrent systems in CESAR
  Published by Springer Nature ,1982
• The temporal logic of programs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1977