On the uniqueness of fixpoints modulo observation congruence

This publication has 10 references indexed in Scilit:

• Introduction to the ISO specification language LOTOS
  Published by Elsevier ,2003
• Compositional theories based on an operational semantics of contexts
  Published by Springer Nature ,1990
• Process theory based on bisimulation semantics
  Published by Springer Nature ,1989
• Structured operational semantics and bisimulation as a congruence
  Published by Springer Nature ,1989
• Fixed point equations with parameters in the projective model
  Information and Computation, 1987
• Notes on Communicating Sequential Systems
  Published by Springer Nature ,1986
• Algebra of communicating processes with abstraction
  Theoretical Computer Science, 1985
• Testing equivalences for processes
  Theoretical Computer Science, 1984
• Calculi for synchrony and asynchrony
  Theoretical Computer Science, 1983
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980