3 search results - page 1 / 1 » Graded Modalities and Resource Bisimulation |
FSTTCS
1999
Springer
13 years 9 months ago
1999
Springer
IPL
2010
13 years 3 months ago
2010
Resource bisimilarity has been proposed in the literature on concurrency theory as a notion of bisimilarity over labeled transition systems that takes into account the number of c...
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 ...