Generative communication in Linda
ACM Transactions on Programming Languages and Systems (TOPLAS)
Collaborative document production using quilt
CSCW '88 Proceedings of the 1988 ACM conference on Computer-supported cooperative work
Concurrency control in groupware systems
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
The family of concurrent logic programming languages
ACM Computing Surveys (CSUR)
Multicast routing in datagram internetworks and extended LANs
ACM Transactions on Computer Systems (TOCS)
The semantic foundations of concurrent constraint programming
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An introduction to LOTOS: learning by examples
Computer Networks and ISDN Systems - Formal description technique (FDT) languages for protocols
An overview of Manifold and its implementation
Concurrency: Practice and Experience
Interpreted collaboration protocols and their use in groupware prototyping
CSCW '94 Proceedings of the 1994 ACM conference on Computer supported cooperative work
From concurrent logic programming to concurrent constraint programming
Advances in logic programming theory
vic: a flexible framework for packet video
Proceedings of the third ACM international conference on Multimedia
A reliable multicast framework for light-weight sessions and application level framing
SIGCOMM '95 Proceedings of the conference on Applications, technologies, architectures, and protocols for computer communication
Extending object-oriented systems with roles
ACM Transactions on Information Systems (TOIS)
Using role components in implement collaboration-based designs
Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Policies and roles in collaborative applications
CSCW '96 Proceedings of the 1996 ACM conference on Computer supported cooperative work
DCWPL: a programming language for describing collaborative work
CSCW '96 Proceedings of the 1996 ACM conference on Computer supported cooperative work
Floor control for multimedia conferencing and collaboration
Multimedia Systems
Role model based framework design and integration
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
COCA: collaborative objects coordination architecture
CSCW '98 Proceedings of the 1998 ACM conference on Computer supported cooperative work
“Got COCA?” A new perspective in building electronic meeting systems
WACC '99 Proceedings of the international joint conference on Work activities coordination and collaboration
Runtime dynamics in collaborative systems
GROUP '99 Proceedings of the international ACM SIGGROUP conference on Supporting group work
Operating System Concepts
Roles and Dynamic Subclasses: A Modal Logic Approach
ECOOP '94 Proceedings of the 8th European Conference on Object-Oriented Programming
Regulated Coordination in Open Distributed Systems
COORDINATION '97 Proceedings of the Second International Conference on Coordination Languages and Models
Runtime dynamics in collaborative systems
GROUP '99 Proceedings of the international ACM SIGGROUP conference on Supporting group work
Ensuring privacy in presence awareness: an automated verification approach
CSCW '00 Proceedings of the 2000 ACM conference on Computer supported cooperative work
GROUP '01 Proceedings of the 2001 International ACM SIGGROUP Conference on Supporting Group Work
The gods must be crazy: a matter of time in collaborative systems
ACM SIGGROUP Bulletin
A Uniform Meta-Model for Mediating Formal Electronic Conferences
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
Social interaction regulation in virtual web environments using the Social Theatres model
Journal of Network and Computer Applications
Hi-index | 0.00 |
COCA (Collaborative Objects Coordination Architecture) was proposed as a novel means to model and support collaborations over the Internet. Our approach separates coordination policies from user interfaces and the policies are specified in a logic-based language. Over the past year, both the collaboration model and the specification language have been substantially refined and evaluated through our experience in building real-life collaboration systems. This paper presents the design of the specification language and illustrates the main ideas with a few simple design examples. Semantics, implementation, runtime support, and applications are also covered but not as the focus of this paper.