372 search results - page 15 / 75 » Model Checking Commitment Protocols |
CONCUR
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. A prominent source of complexity in the verification of ad hoc network (AHN) protocols is the fact that the number of network topologies grows exponentially with the squ...
FMICS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
CCECE
2006
IEEE
14 years 2 months ago
2006
IEEE
LICS
2003
IEEE
14 years 2 months ago
2003
IEEE
FM
2003
Springer
14 years 1 months ago
2003
Springer
