Article ID Journal Published Year Pages File Type
6876207 Theoretical Computer Science 2014 21 Pages PDF
Abstract
To discuss the practical applicability of our results, we adapt a state space generation technique based on representative states, already known in combination with confluence reduction, so that it can also be applied to ample sets.
Keywords
Related Topics
Physical Sciences and Engineering Computer Science Computational Theory and Mathematics
Preview
A comparison of confluence and ample sets in probabilistic and non-probabilistic branching time
Authors
, ,