A hierarchy of probabilistic system types
Open Access
- 31 July 2003
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 82 (1) , 57-75
- https://doi.org/10.1016/s1571-0661(04)80632-7
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Bisimulation for Labelled Markov ProcessesInformation and Computation, 2002
- Coinduction for recursive data types: partial orders, metric spaces and Ω-categories.Electronic Notes in Theoretical Computer Science, 2000
- On Corelations, Cokernels, and CoequationsElectronic Notes in Theoretical Computer Science, 2000
- Coalgebraic structure from weak limit preserving functorsElectronic Notes in Theoretical Computer Science, 2000
- Universal coalgebra: a theory of systemsTheoretical Computer Science, 2000
- On Generative Parallel CompositionElectronic Notes in Theoretical Computer Science, 1999
- Coalgebraic logicAnnals of Pure and Applied Logic, 1999
- Reactive, Generative, and Stratified Models of Probabilistic ProcessesInformation and Computation, 1995
- Probabilistic VerificationInformation and Computation, 1993
- Bisimulation through probabilistic testingInformation and Computation, 1991