140
click to vote
LPAR
2010
Springer
15 years 21 days ago
2010
Springer
We investigate the complexity of preorder checking when the specification is a flat finite-state system whereas the implementation is either a non-flat finite-state system or a st...