16 search results - page 4 / 4 » On the Computational Complexity of Bisimulation, Redux |
WOLLIC
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. We present a modal language that includes explicit operators to count the number of elements that a model might include in the extension of a formula, and we discuss how ...