Zoo Probabilistic Systems (Q40255)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
AFP entry Probabilistic_System_Zoo
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Zoo Probabilistic Systems |
AFP entry Probabilistic_System_Zoo |
Statements
Johannes Hölzl
0 references
Andreas Lochbihler
0 references
Dmitriy Traytel
0 references
Numerous models of probabilistic systems are studied in the literature. Coalgebra has been used to classify them into system types and compare their expressiveness. We formalize the resulting hierarchy of probabilistic system types by modeling the semantics of the different systems as codatatypes. This approach yields simple and concise proofs, as bisimilarity coincides with equality for codatatypes. This work is described in detail in the ITP 2015 publication by the authors.
0 references
27 May 2015
0 references
A Zoo of Probabilistic Systems (English)
0 references
