Testing equivalence for mobile processes

This publication has 8 references indexed in Scilit:

• Using the axiomatic presentation of behavioural equivalences for manipulating CCS specifications
  Published by Springer Nature ,1990
• A calculus of higher order communicating systems
  Published by Association for Computing Machinery (ACM) ,1989
• Process theory based on bisimulation semantics
  Published by Springer Nature ,1989
• Extensional equivalences for transition systems
  Acta Informatica, 1987
• A Calculus of Communicating Systems with Label Passing
  DAIMI Report Series, 1986
• Testing equivalences for processes
  Theoretical Computer Science, 1984
• Algebraic semantics
  Lecture Notes in Computer Science, 1981
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980