Interfaces between languages for communicating systems

This publication has 18 references indexed in Scilit:

• A calculus of durations
  Information Processing Letters, 1991
• Formal specification of the ProCoS/safemos instruction set
  Microprocessors and Microsystems, 1990
• Refinement calculus, part II: Parallel and reactive programs
  Published by Springer Nature ,1990
• Algebraic specification and functionals for transformational program and meta program development
  Published by Springer Nature ,1989
• The laws of OCCAM programming
  Theoretical Computer Science, 1988
• Laws of programming
  Communications of the ACM, 1987
• Specification and top-down design of distributed systems
  Journal of Computer and System Sciences, 1987
• Predicative programming Part I
  Communications of the ACM, 1984
• Finiteness is mu-ineffable
  Theoretical Computer Science, 1976
• Proof of correctness of data representations
  Acta Informatica, 1972