A hierarchy of probabilistic system types

This publication has 16 references indexed in Scilit:

• A final coalgebra theorem
  Published by Springer Nature ,2005
• A hierarchy of probabilistic system types
  Electronic Notes in Theoretical Computer Science, 2003
• On Corelations, Cokernels, and Coequations
  Electronic Notes in Theoretical Computer Science, 2000
• Coalgebraic structure from weak limit preserving functors
  Electronic Notes in Theoretical Computer Science, 2000
• Universal coalgebra: a theory of systems
  Theoretical Computer Science, 2000
• On Generative Parallel Composition
  Electronic Notes in Theoretical Computer Science, 1999
• Coalgebraic logic
  Annals of Pure and Applied Logic, 1999
• Reactive, Generative, and Stratified Models of Probabilistic Processes
  Information and Computation, 1995
• Probabilistic Verification
  Information and Computation, 1993
• Bisimulation through probabilistic testing
  Information and Computation, 1991