7 search results - page 2 / 2 » The SOCS Computational Logic Approach to the Specification a... |
ENTCS
2006
13 years 5 months 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...
ADC
2004
Springer
13 years 9 months ago
2004
Springer
Current collaborative work environments are characterized by dynamically changing organizational structures. Although there have been several efforts to refine work distribution, ...