The ESTEREL synchronous programming language and its mathematical semantics

This publication has 10 references indexed in Scilit:

• Algèbre de processus et synchronisation
  Theoretical Computer Science, 1984
• Automatic verification of finite state concurrent system using temporal logic specifications
  1983
• Calculi for synchrony and asynchrony
  Theoretical Computer Science, 1983
• Semantics of CSP via translation into CCS
  Lecture Notes in Computer Science, 1981
• The temporal semantics of concurrent programs
  Theoretical Computer Science, 1981
• A Calculus of Communicating Systems
  1980
• Edinburgh LCF
  1979
• Communicating sequential processes
  Communications of the ACM, 1978
• Petri Nets
  ACM Computing Surveys, 1977
• A Powerdomain Construction
  SIAM Journal on Computing, 1976