How to assign votes in a distributed system
Journal of the ACM (JACM)
Coherent cooperation among communicating problem solvers
IEEE Transactions on Computers
An introduction to Estelle: a specification language for distributed systems
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Groupware: some issues and experiences
Communications of the ACM
Computer Supported Cooperative Work (CSCW): origins, concepts and research initiatives
Computer Networks and ISDN Systems - 2nd Joint European Networking Conference, Blois, France, 13-16 May 1991
Distributed process groups in the V Kernel
ACM Transactions on Computer Systems (TOCS)
SEDOS: Designing Open Distributed Systems
IEEE Software
Trends in Cooperative Distributed Problem Solving
IEEE Transactions on Knowledge and Data Engineering
Configuration of communication networks by analysing co-operation graphs
Computer Communications
| Hi-index | 0.24 |
This paper presents a groupware service that enables the formation and management of cooperative groups between individual agents. The formalism used to represent cooperative groups, structured and partitioned into domains, is described in detail. This formalism is based on graphs that represent the way in which information is shared between agents. Changes to the group structure are submitted to the set of cooperating agents and a decision is made for the entire group based on a predetermined mechanism (a vote, for instance). Specifications for this groupware service, written in the formal description technique Estelle, are presented, and a semi-automatic implementation from the specifications is shown.