Axiomatising finite delay operators

This publication has 6 references indexed in Scilit:

• Calculi for synchrony and asynchrony
  Theoretical Computer Science, 1983
• Testing equivalences for processes
  Published by Springer Nature ,1983
• A term model for synchronous processes
  Information and Control, 1981
• The Denotational Description of Programming Languages
  Published by Springer Nature ,1979
• Initial Algebra Semantics and Continuous Algebras
  Journal of the ACM, 1977
• Algebraic families of interpretations
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1976