Towards a design calculus for communicating programs

This publication has 7 references indexed in Scilit:

• Nets, Terms and Formulas
  Published by Cambridge University Press (CUP) ,1991
• Specification and stepwise development of communicating systems
  Published by Springer Nature ,1991
• The laws of OCCAM programming
  Theoretical Computer Science, 1988
• Specification-oriented semantics for Communicating Processes
  Acta Informatica, 1986
• Predicative programming Part II
  Communications of the ACM, 1984
• Specifying Concurrent Program Modules
  ACM Transactions on Programming Languages and Systems, 1983
• Finiteness is mu-ineffable
  Theoretical Computer Science, 1976