4 search results - page 1 / 1 » clima 2008 |
67
Voted
CLIMA
2008
15 years 2 months ago
2008
79
Voted
CLIMA
2008
15 years 2 months ago
2008
113
Voted
CLIMA
2008
15 years 2 months ago
2008
Abstract. I present an overview of complexity results for model checking of temporal and strategic logics. Unfortunately, it is possible to manipulate the context so that different...
120
Voted
CLIMA
2008
15 years 2 months ago
2008
The paper deals with the problem of agents conformance with multiparty protocols. We introduce a notion of conformance of a set of k agents with a multiparty protocol with k roles,...