Initial algebra and final coalgebra semantics for concurrency

This publication has 22 references indexed in Scilit:

• A final coalgebra theorem
  Published by Springer Nature ,2005
• A coinduction principle for recursive data types based on bisimulation
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Terminal coalgebras in well-founded set theory
  Theoretical Computer Science, 1993
• Solving reflexive domain equations in a category of complete metric spaces
  Journal of Computer and System Sciences, 1989
• An algebraic characterization of transition system equivalences
  Information and Computation, 1989
• Metric semantics for concurrency
  BIT Numerical Mathematics, 1988
• Toposes, Triples and Theories
  Published by Springer Nature ,1985
• Processes and the denotational semantics of concurrency
  Information and Control, 1982
• Parametrized data types do not need highly constrained parameters
  Information and Control, 1982
• Closed Categories
  Published by Springer Nature ,1966