TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

A comparison of confluence and ample sets in probabilistic and non-probabilistic branching time

Tutkimustuotosvertaisarvioitu

Yksityiskohdat

Julkaisun otsikon käännösA comparison of confluence and ample sets in probabilistic and non-probabilistic branching time
AlkuperäiskieliEnglanti
Sivut103-123
Sivumäärä21
JulkaisuTheoretical Computer Science
Vuosikerta528
DOI - pysyväislinkit
TilaJulkaistu - 2014
OKM-julkaisutyyppiA1 Alkuperäisartikkeli

Julkaisufoorumi-taso

Tilastokeskuksen tieteenalat