Modelling statecharts behaviour in a fully abstract way

This publication has 4 references indexed in Scilit:

• Compositional semantics for real-time distributed computing
  Information and Computation, 1988
• Full abstraction of a real-time denotational semantics for an OCCAM-like language
  Published by Association for Computing Machinery (ACM) ,1987
• The ESTEREL synchronous programming language and its mathematical semantics
  Lecture Notes in Computer Science, 1985
• Proving algorithms by tail functions
  Information and Control, 1971