96
Voted
ENTCS
2006
15 years 3 days ago
2006
Temporal logics are well suited for the specification and verification of systems of communicating agents. In this paper we adopt a social approach to agent communication, where c...
110
click to vote
CLIMA
2008
15 years 1 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,...