Equivalences and refinement

This publication has 13 references indexed in Scilit:

• A distributed operational semantics for CCS based on condition/event systems
  Acta Informatica, 1988
• Top-down design and the algebra of communicating processes
  Science of Computer Programming, 1985
• CIRCAL and the representation of communication, concurrency, and time
  ACM Transactions on Programming Languages and Systems, 1985
• Algebraic laws for nondeterminism and concurrency
  Journal of the ACM, 1985
• Algèbre de processus et synchronisation
  Theoretical Computer Science, 1984
• A Theory of Communicating Sequential Processes
  Journal of the ACM, 1984
• Testing equivalences for processes
  Theoretical Computer Science, 1984
• Calculi for synchrony and asynchrony
  Theoretical Computer Science, 1983
• Petri nets, event structures and domains, part I
  Theoretical Computer Science, 1981
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980