Compositionality in dataflow synchronous languages: specification & code generation

This publication has 6 references indexed in Scilit:

• Synchronous Programming of Reactive Systems
  Published by Springer Nature ,1993
• The Temporal Logic of Reactive and Concurrent Systems
  Published by Springer Nature ,1992
• Synchronous programming with events and relations: the SIGNAL language and its semantics
  Science of Computer Programming, 1991
• Theory of traces
  Theoretical Computer Science, 1988
• Semi-commutations
  Information and Computation, 1987
• Specifying Concurrent Program Modules
  ACM Transactions on Programming Languages and Systems, 1983