Comparing coordination models based on shared distributed replicated data

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Comparing coordination models based on shared distributed replicated data

Full text

Pdf (1.31 MB)

Source

Symposium on Applied Computing archive
Proceedings of the 1999 ACM symposium on Applied computing table of contents

San Antonio, Texas, United States

Pages: 156 - 165

Year of Publication: 1999

ISBN:1-58113-086-4

Authors

Marcello M. Bonsangue	Leiden Institute of Advanced Computer Science, Leiden University, The Netherlands
Joost N. Kok	Leiden Institute of Advanced Computer Science, Leiden University, The Netherlands
G. Zavattaro	Department of Computer Science, Bologna University, Italy

Sponsors

SIGADA: ACM Special Interest Group on Ada Programming Language
SIGCUE: ACM Special Interest Group on Computer Uses In Education
SIGAPP: ACM Special Interest Group on Applied Computing
SIGBIO: ACM Special Interest Group on Biomedical Computing

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 0, Downloads (12 Months): 15, Citation Count: 5

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/298151.298226 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	Roberto M. Amadio , Ilaria Castellani , Davide Sangiorgi, On bisimulations of the asynchronous &pgr;-calculus, Theoretical Computer Science, v.195 n.2, p.291-324, March 30, 1998 [doi>10.1016/S0304-3975(97)00223-5]
	2	J. de Bakker and D. Scott. A theory of programs. Notes IBM seminar, Vienna, 1969. Appeared in J. W. de Bakker, 25 jaar semantiek, pages 1-30, CWI, Amsterdam, 1989.
	3	M. Boasson. Control systems software. IEEE ~nsactions on Automatic Control 38:7, pages 1094-1107, 1993.
	4	Marcello M. Bonsangue , Farhad Arbab , J. W. Bakker , J. J.M.M. Rutten , A. Scutella , G. Zavattaro, A transition system semantics for the control-driven coordination language MANIFOLD, CWI (Centre for Mathematics and Computer Science), Amsterdam, The Netherlands, 1998
	5	Marcello M. Bonsangue , Joost N. Kok , Maarten Boasson , Edwin de Jong, A software architecture for distributed control systems and its transition system semantics, Proceedings of the 1998 ACM symposium on Applied Computing, p.159-168, February 27-March 01, 1998, Atlanta, Georgia, United States [doi>10.1145/330560.330664]
	6	Marcello M. Bonsangue , Joost N. Kok , Gianluigi Zavattaro, Comparing Software Architectures for Coordination Languages, Proceedings of the Third International Conference on Coordination Languages and Models, p.150-165, April 26-28, 1999
	7	Nadia Busi , Roberto Gorrieri , Gianluigi Zavattaro, Three Semantics of the Output Operation for Generative Communication, Proceedings of the Second International Conference on Coordination Languages and Models, p.205-219, September 01-03, 1997
	8	N. Busi, P~. Gorrieri, and G. Zavattaro. On the Turing equivalence of Linda coordination primitives. In Proc. of Express'97, volume 6 of Electronic Notes in Theoretical Computer Science, 1997.
	9	Nadia Busi , Roberto Gorrieri , Gianluigi Zavattaro, A process algebraic view of Linda coordination primitives, Theoretical Computer Science, v.192 n.2, p.167-199, Feb. 20, 1998 [doi>10.1016/S0304-3975(97)00149-7]
	10	Philip A. Bernstein , Vassco Hadzilacos , Nathan Goodman, Concurrency control and recovery in database systems, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1987
	11	Frank S. de Boer , Joost N. Kok , Catuscia Palamidessi , Jan J. M. M. Rutten, Non-monotonic concurrent constraint programming, Proceedings of the 1993 international symposium on Logic programming, p.315-334, December 1993, Vancouver, British Columbia, Canada
	12	Antonio Brogi , Jean-Marie Jaquet, Modeling Coordination via Asynchronous Communication, Proceedings of the Second International Conference on Coordination Languages and Models, p.238-255, September 01-03, 1997
	13	Nicholas Carriero , David Gelernter, Linda in context, Communications of the ACM, v.32 n.4, p.444-458, April 1989 [doi>10.1145/63334.63337]
	14	Paul Dechering , Edwin de Jong , Rix Groenboom , Jan Tijmen Udding, Formalization of a Software Architecture for Embedded Systems: A Process Algebra for SPLICE, Proceedings of the Thirty-Second Annual Hawaii International Conference on System Sciences-Volume 3, p.3050, January 05-08, 1999
	15	David Gelernter, Generative communication in Linda, ACM Transactions on Programming Languages and Systems (TOPLAS), v.7 n.1, p.80-112, Jan. 1985 [doi>10.1145/2363.2433]
	16	Robin Milner, Lectures on a Calculus for Communicating Systems, Seminar on Concurrency, Carnegie-Mellon University, p.197-220, July 09-11, 1984
	17	Vijay A. Saraswat, Concurrent constraint programming, MIT Press, Cambridge, MA, 1993
	18	G. Zavattaro. Towards an hierarchy for negative test operators for generative communication. In Proc. of E~ress'98, volume 16(2) of Electronic Not, m in Theoretical Computer Science, 1998.

CITED BY 5

	Roel Bloo , Jozef Hooman , Edwin de Jong, Semantical aspects of an architecture for distributed embedded systems, Proceedings of the 2000 ACM symposium on Applied computing, p.149-155, March 2000, Como, Italy
	Marcello M. Bonsangue , Joost N. Kok , Gianluigi Zavattaro, Comparing coordination models and architectures using embeddings, Science of Computer Programming, v.46 n.1-2, p.31-69, January/February 2003
	Antonio Brogi , Jean-Marie Jacquet, On the expressiveness of coordination via shared dataspaces, Science of Computer Programming, v.46 n.1-2, p.71-98, January/February 2003
	Jozef Hooman , Jaco van de Pol, Formal verification of replication on a distributed data space architecture, Proceedings of the 2002 ACM symposium on Applied computing, March 11-14, 2002, Madrid, Spain
	Simona Orzan , Jaco van de Pol, Distribution of a Simple Shared Dataspace Architecture, Fundamenta Informaticae, v.73 n.4, p.535-559, December 2006