Process Algebra with Signals and Conditions

This publication has 12 references indexed in Scilit:

• Process algebra semantics of POOL
  Published by Cambridge University Press (CUP) ,1990
• Global renaming operators in concrete process algebra
  Information and Computation, 1988
• ACP with signals
  Published by Springer Nature ,1988
• Laws of programming
  Communications of the ACM, 1987
• Bounded nondeterminism and the approximation induction principle in process algebra
  Published by Springer Nature ,1987
• Notes on Communicating Sequential Systems
  Published by Springer Nature ,1986
• Algebra of communicating processes with abstraction
  Theoretical Computer Science, 1985
• Algèbre de processus et synchronisation
  Theoretical Computer Science, 1984
• Process algebra for synchronous communication
  Information and Control, 1984
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980