Process algebra with guards

This publication has 9 references indexed in Scilit:

• Process Algebra
  Published by Cambridge University Press (CUP) ,1990
• Algebraic Approaches to Program Semantics
  Published by Springer Nature ,1986
• Algèbre de processus et synchronisation
  Theoretical Computer Science, 1984
• The algebra of recursively defined processes and the algebra of regular processes
  Published by Springer Nature ,1984
• Ten Years of Hoare's Logic: A Survey—Part I
  ACM Transactions on Programming Languages and Systems, 1981
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980
• An axiomatic proof technique for parallel programs I
  Acta Informatica, 1976
• An axiomatic basis for computer programming
  Communications of the ACM, 1969
• Equational bases of boolean algebras
  The Journal of Symbolic Logic, 1964