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

Research output: Contribution to journal › Article › Scientific › peer-review

4 Citations (Scopus)

Translated title of the contribution	A comparison of confluence and ample sets in probabilistic and non-probabilistic branching time
Original language	English
Pages (from-to)	103-123
Number of pages	21
Journal	Theoretical Computer Science
Volume	528
DOIs	https://doi.org/10.1016/j.tcs.2013.07.014
Publication status	Published - 2014
Publication type	A1 Journal article-refereed

Publication forum classification

@article{f26732937e3f4d1fae5263b92dd0bf02,

title = "A comparison of confluence and ample sets in probabilistic and non-probabilistic branching time",

author = "Henri Hansen and Mark Timmer",

note = "Contribution: organisation=mat,FACT1=1<br/>Portfolio EDEND: 2014-05-31<br/>Publisher name: Elsevier",

year = "2014",

doi = "10.1016/j.tcs.2013.07.014",

language = "English",

volume = "528",

pages = "103--123",

journal = "Theoretical Computer Science",

issn = "0304-3975",

publisher = "Elsevier B.V.",

}

TY - JOUR

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

AU - Hansen, Henri

AU - Timmer, Mark

N1 - Contribution: organisation=mat,FACT1=1<br/>Portfolio EDEND: 2014-05-31<br/>Publisher name: Elsevier

PY - 2014

Y1 - 2014

U2 - 10.1016/j.tcs.2013.07.014

DO - 10.1016/j.tcs.2013.07.014

M3 - Article

SN - 0304-3975

VL - 528

SP - 103

EP - 123

JO - Theoretical Computer Science

JF - Theoretical Computer Science

ER -