On the Complexity of Deciding Behavioural Equivalences and Preorders -- A Survey (1996)
by
Hans Hüttel
,
Sandeep Shukla
| Citations: | 7 - 0 self |
BibTeX
@MISC{Hüttel96onthe,
author = {Hans Hüttel and Sandeep Shukla},
title = {On the Complexity of Deciding Behavioural Equivalences and Preorders -- A Survey},
year = {1996}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This paper gives an overview of the computational complexity of all the equivalences in the linear/branching time hierarchy [vG90a] and the preorders in the corresponding hierarchy of preorders. We consider finite state or regular processes as well as infinite-state BPA [BK84b] processes. A distinction
