References

1

F. Arbab, I. Herman and P. Spilling, An overview of Manifold and its implementation. Concurrency: Pratice and Experience, 5(1):23-70, February 93

2

Anthony J. Bonner and Michael Kifer, Concurrency and Communication in Transaction Logic, In Proceedings of the Joint International Conference and Symposium on Logic Programming (JICSLP), Bonn, Germany, Sept. 1996

3

Mauricio Cortes and Prateek Mishra, DCWPL: A Programming Language for Describing Collaborative Work, ACM CSCW'96 Proceedings.

4

Andrew Davison, A Survey of Logic Programming-based Object-Oriented Languages, Technical Report 92/3, Department of Computer Science, University of Melbourne, Australia

5

Frank S. de Boer and C. Palamidessi. From Concurrent Logic Programming to Concurrent Constraint Programming. In G. Levi (editor), Advances in logic programming theory. Oxford University Press, 1993.

6

Steven Deering, Multicast Routing in Datagram Internetworks and Extended LANs. ACM Transactions on Computer Systems, 8(2), May 1990

7

H.-P. Dommel and J.J. Garcia-Luna-Aceves. Floor Control for Multimedia Conferencing and Collaboration. ACM Multimedia'97, 5(1), Jan. 1997

8

W. Keith Edwards, Policies and Roles in Collaborative Applications, ACM CSCW'96 Proceedings

9

C.A. Ellis and S.J. Gibbs. Concurrency Control in Groupware Systems. ACM SIGMOD'89 Proceedings, Portland, Oregon

10

S. Floyd, V. Jacobson, C. Liu, S. McCanne and L. Zhang, A Reliable Multicast Framework for Lightweight Sessions and Application-Level Framing, ACM SIGCOMM'95 Proceedings, Boston, 1995

11

Richard Furuta and David Stotts, Interpreted Collaboration Protocols and Their Use in Groupware Prototyping, ACM CSCW'94 Proceedings.

12

David Gelernter, Generative Communication in Linda, ACM Transactions on Programming Languages and Systems, Vol.7, No.1, Jan. 1985

13

G. Gottlob, M. Schrefl, and B. Röck. Extending Object-Oriented Systems with Roles. ACM Transactions on Information Systems, 14(3), July 1996

14

Mary D. P. Leland, Robert S. Fish, and Rober E. Kraut, Collaborative document production using quilt, ACM CSCW'88 Proceedings.

15

Du Li. Home of COCA: Runtime Support and Example Applications, https://www.cs.ucla.edu/~lidu/coca/

16

Du Li and Richard R. Muntz, COCA: Collaborative Objects Coordination Architecture, Proceedings of ACM CSCW '98, Nov. 1998, Seattle

17

Du Li, Zhenghao Wang, and Richard R. Muntz, ``Got COCA?'' A New Perspective in Building Electronic Meeting Systems, in Proceedings of WACC'99 Conference on Work Activities Coordination and Collaboration, Feb. 1999, San Francisco

18

Du Li, Zhenghao Wang, and Richard R. Muntz, COCA Web: a Generic Platform for World-Wide Collaboration and Electronic Commerce, invited poster, to appear in the 8th Intl. World Wide Web Conference, May 1999, Toronto

19

Du Li and Richard R. Muntz. Runtime Dynamics in Collaborative Systems. To appear in the Proceedings of ACM Group'99 International Conference on Supporting Group Work, Phoenix, Arizona, November 1999.

20

Du Li, Lalita J. Jagadeesan, James D. Herbsleb, and Patrice Godefroid. Verification of Coordination Policies in a Collaborative Framework. To be submitted to the 22nd International Conference on Software Engineering (ICSE'2000), Limerick, Ireland, June 2000.

21

Du Li, James D. Herbsleb, Lalita J. Jagadeesan, and Richard R. Muntz. Flexible Awareness Control in Dynamically-Grouped Workspaces. In Preparation.

22

L. Logrippo, M. Faci, and M. Haj-Hussein, An Introduction to LOTOS: Learning by Examples. Computer Networks and ISDN Systems, 23, 5, Feb. 1992

23

Steven McCanne, Van Jacobson, vic: A Flexible Framework for Packet Video. ACM Multimedia 1995

24

Naftaly Minsky and Victoria Ungureanu, Regulated Coordination in Open Distributed Systems, 2nd Intl. Conference on Coordination Languages and Models, Berlin, Germany, Sept. 1997 Proceedings

25

L. M. Perira and R. Nasr. Delta-Prolog: a distributed logic programming language. In Proceedings of the International Conference on Fifth Generation Computer Sustems, Tokyo, 1984

26

J. Rekers and I. Sprinkhuizen, A LOTOS Specification of a CSCW tool. Proc. of Design of Computer Supported Cooperative Work and Groupware Systems, Schearding, Austria, 1993

27

Dirk Riehle and Thomas Gross, Role Model Based Framework Design and Integration, in Proceedings of ACM OOPSLA'98

28

V. Saraswat and M. Rinard. Concurrent Constraint Programming. In Proc. of the 17th ACM Symposium on Principles of Programming Languages, New York, 1999

29

V. Saraswat, M. Rinard, and P. Panangaden. Semantics foundations of concurrent constraint programming. In Proc. of the 18th ACM Symposium on Principles of Programming Languages, New York, 1991

30

Ehud Shapiro. Embedding Linda and other joys of concurrent logic programming. Tech. Report, CS-89-07, Dept. of Computer Science, The Weizmann Institute of Science, Rehovot, Israel

31

Ehud Shapiro, The family of concurrent logic programming languages, ACM Computing Surveys, 21(3), Sept. 1989

32

Abraham Silberschatz and Peter Galvin. Operating System Concepts. Fifth Edition, p.563-566. Addison Wesley Longman, Inc., 1998

33

Michael VanHilst and David Notkin, Using Role Components to Implement Collaboration-Based Designs, in Proceedings of ACM OOPSLA'96

34

R.J. Wieringa, W. De Jong, and P. Sprint, Roles and dynamic subclasses: a modal logic approach. In M. Tokoro and R. Pareschi, editors, the 8th European Conference on Object-Oriented Programming (ECOOP'94), Springer, 1994