Yüklüyor......
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...
Kaydedildi:
| Yazar: | |
|---|---|
| Materyal Türü: | Artigo |
| Dil: | Inglês |
| Baskı/Yayın Bilgisi: |
North-Holland Pub. Co
2011
|
| Konular: | |
| Online Erişim: | https://ncbi.nlm.nih.gov/pmc/articles/PMC3185909/ https://ncbi.nlm.nih.gov/pubmed/21998490 https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1016/j.tcs.2011.05.008 |
| Etiketler: |
Etiketle
Etiket eklenmemiş, İlk siz ekleyin!
|