3 search results - page 1 / 1 » Graded Modalities and Resource Bisimulation |
65
Voted
FSTTCS
1999
Springer
15 years 1 months ago
1999
Springer
IPL
2010
14 years 8 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...
106
Voted
WOLLIC
2010
Springer
15 years 2 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 ...