Team automata for groupware systems

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Team automata for groupware systems

Full text

Pdf (1.11 MB)

Source

Conference on Supporting Group Work archive
Proceedings of the international ACM SIGGROUP conference on Supporting group work: the integration challenge table of contents

Phoenix, Arizona, United States

Pages: 415 - 424

Year of Publication: 1997

ISBN:0-89791-897-5

Author

Clarence Ellis

Department of Computer Science, Campus Box 430, University of Colorado, Boulder, CO

Sponsor

SIGGROUP: ACM Special Interest Group on Supporting Group Work

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 4, Downloads (12 Months): 31, Citation Count: 13

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/266838.267363 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Ronald M. Baecker, Readings in GroupWare and Computer-Supported Cooperative Work: Assisting Human-Human Collaboration, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1994
	2	Bales, R. E, Cohen, S. P. (1979) SYMLOG, A System for the Multiple Level Obesrvation of Groups, The Free Press.
	3	Brauer, W., Reisig, W., and Rozenberg, G. "Petri Nets" in Advances in Petri Nets. Lecture Notes in Computer Science, vol. 254, Springer Verlag, 1987.
	4	K. Mani Chandy, Parallel program design: a foundation, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1988
	5	Computer Supported Cooperative Work (CSCW), An International.Journal, Kluwer Academic Publishers, Vol. 1, 1992.
	6	Clarence Ellis , Jacques Wainer, A conceptual model of groupware, Proceedings of the 1994 ACM conference on Computer supported cooperative work, p.79-88, October 22-26, 1994, Chapel Hill, North Carolina, United States [doi>10.1145/192844.192878]
	7	C. A. Ellis , S. J. Gibbs, Concurrency control in groupware systems, Proceedings of the 1989 ACM SIGMOD international conference on Management of data, p.399-407, June 1989, Portland, Oregon, United States
	8	Ellis, C., S.J. Gibbs, G. Rein "Design and Use of a Group Editor" in Engineering for Human Computer Interaction, G. Cockton, editor. North Holland, Amsterdam, 1990.
	9	Clarence A. Ellis , Simon J. Gibbs , Gail Rein, Groupware: some issues and experiences, Communications of the ACM, v.34 n.1, p.39-58, Jan. 1991 [doi>10.1145/99977.99987]
	10	Gerhard Fischer , Andreas C. Lemke , Thomas Mastaglio , Anders I. Morch, Using critics to empower users, Proceedings of the SIGCHI conference on Human factors in computing systems: Empowering people, p.337-347, April 01-05, 1990, Seattle, Washington, United States [doi>10.1145/97243.97305]
	11	Nissim Francez , Ira R. Forman, Interacting processes: a multiparty approach to coordinated distributed programming, ACM Press/Addison-Wesley Publishing Co., New York, NY, 1996
	12	I. R. Forman, Design by decomposition of multiparty interactions in Raddle87, Proceedings of the 5th international workshop on Software specification and design, p.2-10, April 1989, Pittsburgh, Pennsylvania, United States
	13	Jablonski, S. and C. Bussler, Workflow Management Systems: Modeling, Architecture, and Implementation, 1996.
	14	Robert Johansen, GroupWare: Computer Support for Business Teams, The Free Press, New York, NY, 1988
	15	Keesmaat, N. Vector Controlled Concurrent Systems. PhD Thesis, Leiden University, 1996.
	16	Nancy A. Lynch, Distributed Algorithms, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1996
	17	John B. Smith, Collective intelligence in computer-based collaboration, Lawrence Erlbaum Associates, Inc., Mahwah, NJ, 1995

CITED BY 13

	Chengzheng Sun , Clarence Ellis, Operational transformation in real-time group editors: issues, algorithms, and achievements, Proceedings of the 1998 ACM conference on Computer supported cooperative work, p.59-68, November 14-18, 1998, Seattle, Washington, United States
	Maurice H. ter Beek , Mieke Massink , Diego Latella , Stefania Gnesi , Alessandro Forghieri , Maurizio Sebastianis, A case study on the automated verification of groupware protocols, Proceedings of the 27th international conference on Software engineering, May 15-21, 2005, St. Louis, MO, USA
	Gregor Engels , Luuk Groenewegen, Towards team-automata-driven object-oriented collaborative work, Formal and natural computing, Springer-Verlag New York, Inc., New York, NY, 2002
	Richard Furuta , Jin-Cheon Na, Applying caT's programmable browsing semantics to specify world-wide web documents that reflect place, time, reader, and community, Proceedings of the 2002 ACM symposium on Document engineering, November 08-09, 2002, McLean, Virginia, USA
	Maurice H. ter Beek , Jetty Kleijn, Modularity for teams of I/O automata, Information Processing Letters, v.95 n.5, p.487-495, 15 September 2005
	Maurice H. ter Beek , Fabio Gadducci , Dirk Janssens, A Calculus for Team Automata, Electronic Notes in Theoretical Computer Science (ENTCS), 195, p.41-55, January, 2008
	Maurice H. Ter Beek , Clarence A. Ellis , Jetty Kleijn , Grzegorz Rozenberg, Synchronizations in Team Automata for Groupware Systems, Computer Supported Cooperative Work, v.12 n.1, p.21-69, February 2003
	Luboš Brim , Ivana Černá , Pavlína Vařeková , Barbora Zimmerova, Component-interaction automata as a verification-oriented component-based system specification, ACM SIGSOFT Software Engineering Notes, v.31 n.2, March 2006
	Maurice H. ter Beek , Clarence A. Ellis , Jetty Kleijn , Grzegorz Rozenberg, Team automata for spatial access control, Proceedings of the seventh conference on European Conference on Computer Supported Cooperative Work, p.59-77, September 16-20, 2001, Bonn, Germany
	Tom Chothia , Jetty Kleijn, Q-Automata: Modelling the Resource Usage of Concurrent Components, Electronic Notes in Theoretical Computer Science (ENTCS), v.175 n.2, p.153-167, June, 2007
	Kwang-Hoon Kim , Clarence A. Ellis, Performance Analytic Models and Analyses for Workflow Architectures, Information Systems Frontiers, v.3 n.3, p.339-355, September 2001
	Roberto Gorrieri , Fabio Martinelli , Marinella Petrocchi, Formal Models and Analysis of Secure Multicast in Wired and Wireless Networks, Journal of Automated Reasoning, v.41 n.3-4, p.325-364, November 2008
	Maurice H. ter Beek , Jetty Kleijn, Associativity of Infinite Synchronized Shuffles and Team Automata, Fundamenta Informaticae, v.91 n.3-4, p.437-461, August 2009