We present dcl-pc: a dynamic logic of delegation and cooperation. The logical foundation of dcl-pc is cl-pc, a logic for reasoning about cooperation in which the powers of agents ...
We motivate the use of desktop assistants in the context of web surfing and show how such a tool may be used to support activities in both cooperative and personal surfing. By coo...
The increased use of electronic service has invented a new term Service-Oriented Architecture. In a typical distributed environment consisting of many independent devices and servi...
Dynamic interactive visualisations (DIVs) are intended to help coordination and collaboration, through augmenting existing forms of synchronous communication (i.e. phones, face to...
We introduce a programming environment entitled Share that is designed to encourage loosely bound cooperation between individuals within communities of practice through the sharin...