Cargando…
Probabilistic systems coalgebraically: A survey
We survey the work on both discrete and continuous-space probabilistic systems as coalgebras, starting with how probabilistic systems are modeled as coalgebras and followed by a discussion of their bisimilarity and behavioral equivalence, mentioning results that follow from the coalgebraic treatment...
| Autor principal: | |
|---|---|
| Formato: | Online Artículo Texto |
| Lenguaje: | English |
| Publicado: |
North-Holland Pub. Co
2011
|
| Materias: | |
| Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3185909/ https://www.ncbi.nlm.nih.gov/pubmed/21998490 http://dx.doi.org/10.1016/j.tcs.2011.05.008 |