A comparison of confluence and ample sets in probabilistic...

Theoretical Computer Science 2014 / 06 Vol. 538

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

Hansen, Henri, Timmer, Mark
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
538
Language:
english
Journal:
Theoretical Computer Science
DOI:
10.1016/j.tcs.2013.07.014
Date:
June, 2014
File:
PDF, 1.25 MB
english, 2014
Conversion to is in progress
Conversion to is failed