Tampere University of Technology

TUTCRIS Research Portal

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

Research output: Contribution to journalArticleScientificpeer-review

Details

Original languageEnglish
Pages (from-to)103-123
Number of pages21
JournalTheoretical Computer Science
Volume528
DOIs
Publication statusPublished - 2014
Publication typeA1 Journal article-refereed

Publication forum classification

Field of science, Statistics Finland