3 search results - page 1 / 1 » Specifying and Verifying Partial Order Properties Using Temp... |
FOSSACS
2004
Springer
14 years 4 months ago
2004
Springer
CORR
2010
Springer
13 years 11 months ago
2010
Springer
Message Sequence Charts (MSCs) are an appealing visual formalism mainly used in the early stages of system design to capture the system requirements. However, if we move towards a...
CONCUR
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. We introduce model-checking games that allow local secondorder power on sets of independent transitions in the underlying partial order models where the games are played....