A comparison of confluence and ample sets in probabilistic and non-probabilistic branching time
Tutkimustuotos › › vertaisarvioitu
Yksityiskohdat
| Julkaisun otsikon käännös | A comparison of confluence and ample sets in probabilistic and non-probabilistic branching time |
|---|---|
| Alkuperäiskieli | Englanti |
| Sivut | 103-123 |
| Sivumäärä | 21 |
| Julkaisu | Theoretical Computer Science |
| Vuosikerta | 528 |
| DOI - pysyväislinkit | |
| Tila | Julkaistu - 2014 |
| OKM-julkaisutyyppi | A1 Alkuperäisartikkeli |