Generative communication in Linda

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Generative communication in Linda

Full text

Pdf (2.48 MB)

Source

ACM Transactions on Programming Languages and Systems (TOPLAS) archive
Volume 7 , Issue 1 (January 1985) table of contents

Pages: 80 - 112

Year of Publication: 1985

ISSN:0164-0925

Author

David Gelernter

Yale Univ., New Haven, CT

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 34, Downloads (12 Months): 366, Citation Count: 295

Additional Information:

abstract references cited by index terms review 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/2363.2433 What is a DOI?

ABSTRACT

Generative communication is the basis of a new distributed programming langauge that is intended for systems programming in distributed settings generally and on integrated network computers in particular. It differs from previous interprocess communication models in specifying that messages be added in tuple-structured form to the computation environment, where they exist as named, independent entities until some process chooses to receive them. Generative communication results in a number of distinguishing properties in the new language, Linda, that is built around it. Linda is fully distributed in space and distributed in time; it allows distributed sharing, continuation passing, and structured naming. We discuss these properties and their implications, then give a series of examples. Linda presents novel implementation problems that we discuss in Part II. We are particularly concerned with implementation of the dynamic global name space that the generative communication model requires.

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	Gregory R. Andrews, Synchronizing Resources, ACM Transactions on Programming Languages and Systems (TOPLAS), v.3 n.4, p.405-430, Oct. 1981 [doi>10.1145/357146.357149]
	2	BRINCH-HANSEN, P. The programming language Concurrent Pascal. IEEE Trans. Softw. Eng. SE-1, 2 (June 1975), 199-207.
	3	Per Brinch Hansen, Distributed processes: a concurrent programming concept, Communications of the ACM, v.21 n.11, p.934-941, Nov. 1978 [doi>10.1145/359642.359651]
	4	COOK, R. Mod--a language for distributed programming. In Proceedings 1st International Conference on Distributed Computing Systems, (Oct. 1979), 233-241.
	5	DEMINET, J. Experience with multiprocessor algorithms. IEEE Trans. Comput. C-31, 4 (Apr. 1982), 278-287.
	6	U.S. Dept. of Defense. Reference Manual for the Ada Programming Language. July 1982.
	7	K. P. Eswaran , J. N. Gray , R. A. Lorie , I. L. Traiger, The notions of consistency and predicate locks in a database system, Communications of the ACM, v.19 n.11, p.624-633, Nov. 1976 [doi>10.1145/360363.360369]
	8	FEHLING, M., AND ERMAN, L. Report on the 3rd Annual Workshop on Distributed Artificial Intelligence. ACM SIGART Newsl. 84 (Apr. 1983), 3-12.
	9	Jerome A. Feldman, High level programming for distributed computing, Communications of the ACM, v.22 n.6, p.353-368, June 1979 [doi>10.1145/359114.359127]
	10	FINKEL, R., AND SOLOMON, M. The Arachne distributed operating system. Tech. Rep. 439, Univ. of Wisconsin at Madison, Computer Science Dept., July 1981.
	11	David Gelernter , Arthur J. Bernstein, Distributed communication via global buffer, Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing, p.10-18, August 18-20, 1982, Ottawa, Canada [doi>10.1145/800220.806676]
	12	David Hillel Gelernter, An integrated microcomputer network for experiments in distributed programming, 1983
	13	GELERNTER, D. Three reorthogonalizations in a distributed programming language. Tech. Rep., Yale Univ., Dept. Computer Science, Aug. 1983.
	14	GELERNTER, D. A note on systems programming in Concurrent Prolog. In Proceedings 1984 International Symposium on Logic Programming, (Feb. 1984).
	15	GELERNTER, D. Symmetric programming languages. Tech. Rep., Yale Univ., Dept. Computer Science, July 1984.
	16	GEL ERNTER, n. Global name spaces on network computers. In Proceedings 1984 International{ Conference on Parallel Processing, (Aug. 1984).
	17	C. A. R. Hoare, Communicating sequential processes, Communications of the ACM, v.21 n.8, p.666-677, Aug. 1978 [doi>10.1145/359576.359585]
	18	Jean D. Ichbiah , Bernd Krieg-Brueckner , Brian A. Wichmann , John G. P. Barnes , Olivier Roubine , Jean-Claude Heliard, Rationale for the design of the Ada programming language, ACM SIGPLAN Notices, v.14 n.6b, p.1-261, June 1979 [doi>10.1145/956653.956654]
	19	KAHN, G. The semantics of a simple language for parallel processing. In Proceedings IFIP Congress 1974. p. 471.
	20	B. W. Kernighan , D. M. Ritchie, The C programming language, Prentice-Hall, Inc., Upper Saddle River, NJ, 1978
	21	Richard B. Kieburtz , Abraham Silberschatz, Comments on “Communicating Sequential Processes”, ACM Transactions on Programming Languages and Systems (TOPLAS), v.1 n.2, p.218-225, Oct. 1979 [doi>10.1145/357073.357077]
	22	KOHLER, W. Overview of synchronization and recovery problems in distributed databases. In Proceedings Fall COMPCON 1980. 433-441.
	23	Barbara Liskov, Primitives for distributed computing, Proceedings of the seventh ACM symposium on Operating systems principles, p.33-42, December 10-12, 1979, Pacific Grove, California, United States [doi>10.1145/800215.806567]
	24	Fred B. Schneider, Synchronization in Distributed Programs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.4 n.2, p.125-148, April 1982 [doi>10.1145/357162.357163]
	25	John F. Shoch , Jon A. Hupp, The “worm” programs—early experience with a distributed computation, Communications of the ACM, v.25 n.3, p.172-180, March 1982 [doi>10.1145/358453.358455]
	26	David H D Warren , Luis M. Pereira , Fernando Pereira, Prolog - the language and its implementation compared with Lisp, Proceedings of the 1977 symposium on Artificial intelligence and programming languages, p.109-115, August 15-17, 1977
	27	WIRTH, N. Modula: A language for modular multiprogramming. Softw. Pract. Exper. 7 (1977), 3-35.

CITED BY 295

	Alberto Rodrigues Silva , Artur Romão , Dwight Deugo , Miguel Mira Da Silva, Towards a Reference Model for Surveying Mobile Agent Systems, Autonomous Agents and Multi-Agent Systems, v.4 n.3, p.187-231, September 2001
	Jean-Marc Andreoli , Remo Pareschi, Communication as fair distribution of knowledge, ACM SIGPLAN Notices, v.26 n.11, p.212-229, Nov. 1991
	Lorenzo Bettini , Michele Loreti , Rosario Pugliese, An infrastructure language for open nets, Proceedings of the 2002 ACM symposium on Applied computing, March 11-14, 2002, Madrid, Spain
	B. Ramkumar , L. V. Kale, A Chare kernel implementation of a parallel Prolog compiler, ACM SIGPLAN Notices, v.25 n.3, p.99-108, Mar. 1990
	Alan Dix , Tom Rodden , Nigel Davies , Jonathan Trevor , Adrian Friday , Kevin Palfreyman, Exploiting space and location as a design framework for interactive mobile systems, ACM Transactions on Computer-Human Interaction (TOCHI), v.7 n.3, p.285-321, Sept. 2000
	Gul Agha , Christian J. Callsen, ActorSpace: an open distributed programming paradigm, ACM SIGPLAN Notices, v.28 n.7, p.23-32, July 1993
	Antonio Brogi , Paolo Ciancarini, The concurrent language, Shared Prolog, ACM Transactions on Programming Languages and Systems (TOPLAS), v.13 n.1, p.99-123, Jan. 1991
	Gregory R. Andrews, Paradigms for process interaction in distributed programs, ACM Computing Surveys (CSUR), v.23 n.1, p.49-90, March 1991
	Jerrold S. Leichter , Robert A. Whiteside, Implementing Linda for distributed and parallel processing, Proceedings of the 3rd international conference on Supercomputing, p.41-49, June 05-09, 1989, Crete, Greece
	Raphael Finkel , Udi Manber, DIB—a distributed implementation of backtracking, ACM Transactions on Programming Languages and Systems (TOPLAS), v.9 n.2, p.235-256, April 1987
	John B. Carter , John K. Bennett , Willy Zwaenepoel, Implementation and performance of Munin, ACM SIGOPS Operating Systems Review, v.25 n.5, p.152-164, Oct. 1991
	R. Bagrodia , K. M. Chandy , E. Kwan, UC: a language for the connection machine, Proceedings of the 1990 conference on Supercomputing, p.525-534, October 1990, New York, New York, United States
	Jean-Pierre Banâtre , Daniel Le Métayer, Programming by multiset transformation, Communications of the ACM, v.36 n.1, p.98-111, Jan. 1993
	Oliver Krone , Fabrice Chantemargue , Thierry Dagaeff , Michael Schumacher , Béat Hirsbrunner, Coordinating autonomous entities, Proceedings of the 1998 ACM symposium on Applied Computing, p.149-158, February 27-March 01, 1998, Atlanta, Georgia, United States
	Nadia Busi , Gianluigi Zavattaro, On the serializability of transactions in shared dataspaces with temporary data, Proceedings of the 2002 ACM symposium on Applied computing, March 11-14, 2002, Madrid, Spain
	Andrea Omicini , Franco Zambonelli, Tuple centres for the coordination of Internet agents, Proceedings of the 1999 ACM symposium on Applied computing, p.183-190, February 28-March 02, 1999, San Antonio, Texas, United States
	Iain Merrick , Alan Wood, Coordination with scopes, Proceedings of the 2000 ACM symposium on Applied computing, p.210-217, March 2000, Como, Italy
	Gruia-Catalin Roman , Qingfeng Huang , Ali Hazemi, Consistent group membership in ad hoc networks, Proceedings of the 23rd International Conference on Software Engineering, p.381-388, May 12-19, 2001, Toronto, Ontario, Canada
	Nigel Davies , Adrian Friday , Stephen P. Wade , Gordon S. Blair, L2imbo: a distributed systems platform for mobile computing, Mobile Networks and Applications, v.3 n.2, p.143-156, Aug. 1998
	Lorenzo Bettini , Rocco De Nicola , Michele Loreti, Software update via mobile agent based programming, Proceedings of the 2002 ACM symposium on Applied computing, March 11-14, 2002, Madrid, Spain
	Nadia Busi , Gianluigi Zavattaro, Event notification in data-driven coordination languages: comparing the ordered and unordered interpretations, Proceedings of the 2000 ACM symposium on Applied computing, p.233-239, March 2000, Como, Italy
	Yuh-Jzer Joung , Scott A. Smolka, A comprehensive study of the complexity of multiparty interaction, Journal of the ACM (JACM), v.43 n.1, p.75-115, Jan. 1996
	Ellen H. Siegel, Applying high-level language paradigms to distributed systems, Proceedings of the 5th workshop on ACM SIGOPS European workshop: Models and paradigms for distributed systems structuring, September 21-23, 1992, Mont Saint-Michel, France
	Yutaka Ishikawa, Communication mechanism on autonomous objects, ACM SIGPLAN Notices, v.27 n.10, p.303-314, Oct. 1992
	Jon A. Webb, Steps Toward Architecture-Independent Image Processing, Computer, v.25 n.2, p.21-31, February 1992
	Anna Ciampolini , Evelina Lamma , Paola Mello , Cesare Stefanelli, Abductive coordination for logic agents, Proceedings of the 1999 ACM symposium on Applied computing, p.134-140, February 28-March 02, 1999, San Antonio, Texas, United States
	V. Ambriola , P. Ciancarini , M. Danelutto, Design and distributed implementation of the parallel logic language shared Prolog, ACM SIGPLAN Notices, v.25 n.3, p.40-49, Mar. 1990
	Robert Bjornson , Nicholas Carriero , David Gelernter , Jerry Leichter, Linda in adolescence, Proceedings of the 2nd workshop on Making distributed systems work, p.1-4, September 08-10, 1986, Amsterdam, Netherlands
	Andrea Omicini, On the semantics of tuple-based coordination models, Proceedings of the 1999 ACM symposium on Applied computing, p.175-182, February 28-March 02, 1999, San Antonio, Texas, United States
	Martin C. Rinard , Monica S. Lam, The design, implementation, and evaluation of Jade, ACM Transactions on Programming Languages and Systems (TOPLAS), v.20 n.3, p.483-545, May 1998
	Satoshi Matsuoka , Satoru Kawai, Using tuple space communication in distributed object-oriented languages, ACM SIGPLAN Notices, v.23 n.11, p.276-284, Nov. 1988
	Enrico Denti , Antonio Natali , Andrea Omicini, On the expressive power of a language for programming coordination media, Proceedings of the 1998 ACM symposium on Applied Computing, p.169-177, February 27-March 01, 1998, Atlanta, Georgia, United States
	Christine Julien , Gruia Catalin Roman, Egocentric context-aware programming in ad hoc mobile environments, ACM SIGSOFT Software Engineering Notes, v.27 n.6, November 2002
	Gruia-Catalin Roman , Gian Pietro Picco , Amy L. Murphy, Software engineering for mobility: a roadmap, Proceedings of the Conference on The Future of Software Engineering, p.241-258, June 04-11, 2000, Limerick, Ireland
	Nicholas Carriero , David Gelernter , Jerrold Leichter, Distributed data structures in Linda, Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.236-242, January 01, 1986, St. Petersburg Beach, Florida
	Ronaldo Menezes, Experience with memory management in open Linda systems, Proceedings of the 2001 ACM symposium on Applied computing, p.187-196, March 2001, Las Vegas, Nevada, United States
	Patty Kostkova , Tim Wilkinson, Magnet: a virtual shared tuplespace resource manager, Virtual shared memory for distributed architectures, Nova Science Publishers, Inc., Commack, NY, 2001
	Andreas Geyer-Schulz , Thomas Kolarik, Distributed computing with APL, ACM SIGAPL APL Quote Quad, v.23 n.1, p.60-69, July 1992
	Gian Pietro Picco , Amy L. Murphy , Gruia-Catalin Roman, LIME: Linda meets mobility, Proceedings of the 21st international conference on Software engineering, p.368-377, May 16-22, 1999, Los Angeles, California, United States
	A. Deshpande , M. Schultz, Efficient parallel programming with Linda, Proceedings of the 1992 ACM/IEEE conference on Supercomputing, p.238-244, November 16-20, 1992, Minneapolis, Minnesota, United States
	Giancarlo Succi , Jason Yip , Witold Pedrycz, Holmes: an intelligent system to support software product line development, Proceedings of the 23rd International Conference on Software Engineering, p.829-830, May 12-19, 2001, Toronto, Ontario, Canada
	Eero Pajarre , Tapani Ritoniemi , T. Tenhunen, PAR-APLAC: Parallel Circuit Analysis and Optimization, Proceedings of the conference on European design automation, p.584-589, November 1992, Congress Centrum Hamburg, Hamburg, Germany
	Michele Boreale , Rocco De Nicola , Rosario Pugliese, Trace and testing equivalence on asynchronous processes, Information and Computation, v.172 n.2, p.139-164, January 29, 2002
	Lorenzo Bettini , Michele Loreti , Rosario Pugliese, Structured nets in KLAIM, Proceedings of the 2000 ACM symposium on Applied computing, p.174-180, March 2000, Como, Italy
	Rance Cleaveland , Daniel Yankelevich, An operational framework for value-passing processes, Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.326-338, January 16-19, 1994, Portland, Oregon, United States
	Patty Kostkova , Julie A. McCann, MAGNET: an architecture for dynamic resource allocation, Proceedings of the 1st ACM international workshop on Data engineering for wireless and mobile access, p.77-83, August 20-20, 1999, Seattle, Washington, United States
	Alessandro Fabbri, GVT and scheduling in space time memory based techniques, Proceedings of the thirteenth workshop on Parallel and distributed simulation, p.54-61, May 01-04, 1999, Atlanta, Georgia, United States
	Mirko Viroli , Gianluca Moro , Andrea Omicini, On observation as a coordination paradigm: an ontology and a formal framework, Proceedings of the 2001 ACM symposium on Applied computing, p.166-175, March 2001, Las Vegas, Nevada, United States
	Noboru Koshizuka , Ken Sakamura, Window real objects: a distributed shared memory for distributed implementation of GUI applications, Proceedings of the 6th annual ACM symposium on User interface software and technology, p.237-247, December 1993, Atlanta, Georgia, United States
	Wilhelm Hasselbring, Programming languages and systems for prototyping concurrent applications, ACM Computing Surveys (CSUR), v.32 n.1, p.43-79, March 2000
	R. N. Chang , C. V. Ravishankar, A Service Acquisition Mechanism for Server-Based Heterogeneous Distributed Systems, IEEE Transactions on Parallel and Distributed Systems, v.5 n.2, p.154-169, February 1994
	Nicholas Carriero , David Gelernter, Linda in context, Communications of the ACM, v.32 n.4, p.444-458, April 1989
	Henri E. Bal , Jennifer G. Steiner , Andrew S. Tanenbaum, Programming languages for distributed computing systems, ACM Computing Surveys (CSUR), v.21 n.3, p.261-322, Sep. 1989
	Nicholas Carriero , David Gelernter, The S/Net's Linda kernel, ACM Transactions on Computer Systems (TOCS), v.4 n.2, p.110-129, May 1986
	Gregory R. Andrews , Michael Coffin , Irving Elshoff , Kelvin Nilson , Gregg Townsend , Ronald A. Olsson , Titus Purdin, An overview of the SR language and implementation, ACM Transactions on Programming Languages and Systems (TOPLAS), v.10 n.1, p.51-86, Jan. 1988
	Barrett R. Bryant , Daniel T. Chang , Prakash K. Muthukrishnan , Viswanathan Vaidyanathan, Automatic parallelization of object-oriented programming languages using tuple space, Proceedings of the 1995 ACM 23rd annual conference on Computer science, p.89-96, February 28-March 02, 1995, Nashville, Tennessee, United States
	Charles J. Fleckenstein , David Hemmendinger, Using a global name space for parallel execution of UNIX tools, Communications of the ACM, v.32 n.9, p.1085-1090, Sept. 1989
	Patrick Th. Eugster , Rachid Guerraoui , Christian Heide Damm, On objects and events, ACM SIGPLAN Notices, v.36 n.11, p.254-269, 11/01/2001
	H. T. Kung , Peter Steenkiste , Marco Gubitoso , Manpreet Khaira, Parallelizing a new class of large applications over high-speed networks, ACM SIGPLAN Notices, v.26 n.7, p.167-177, July 1991
	Ludger Fiege , Gero Mühl , Felix C. Gärtner, A modular approach to build structured event-based systems, Proceedings of the 2002 ACM symposium on Applied computing, March 11-14, 2002, Madrid, Spain
	Ian MacColl , Dave Millard , Cliff Randell , Anthony Steed , Barry Brown , Steve Benford , Matthew Chalmers , Ruth Conroy , Nick Dalton , Areti Galani , Chris Greenhalgh , Danius Michaelides , Tom Rodden , Ian Taylor , Mark Weal, Shared visiting in EQUATOR city, Proceedings of the 4th international conference on Collaborative virtual environments, p.88-94, September 30-October 02, 2002, Bonn, Germany
	Paul A. Fishwick , Hanns-Oskar A. Porr, Using discrete event modeling for effective computer animation control, Proceedings of the 23rd conference on Winter simulation, p.1156-1164, December 08-11, 1991, Phoenix, Arizona, United States
	C. J. Fleckenstein , D. Hemmendinger, A parallel `make' utility based on Linda's tuple-space, Proceedings of the 17th conference on ACM Annual Computer Science Conference, p.216-220, February 21-23, 1989, Louisville, Kentucky
	D. Gelernter , S. Jagannathan , T. London, Environments as first class objects, Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.98-110, January 21-23, 1987, Munich, West Germany
	Paolo Ciancarini, Coordinating rule-based software processes with ESP, ACM Transactions on Software Engineering and Methodology (TOSEM), v.2 n.3, p.203-227, July 1993
	Cecilia Mascolo , Licia Capra , Wolfgang Emmerich, Mobile computing middleware, Advanced lectures on networking, Springer-Verlag New York, Inc., New York, NY, 2002
	W. Keith Edwards , Mark W. Newman , Jana Sedivy , Shahram Izadi, Challenge:: recombinant computing and the speakeasy approach, Proceedings of the 8th annual international conference on Mobile computing and networking, September 23-28, 2002, Atlanta, Georgia, USA
	M. L. Scott , T. J. LeBlanc , B. D. Marsh, Multi-model parallel programming in psyche, ACM SIGPLAN Notices, v.25 n.3, p.70-78, Mar. 1990
	Kenneth D. Landry , James D. Arthur, Boundary analysis in the instructional footprint model: an implementation in Linda, Proceedings of the 1995 ACM 23rd annual conference on Computer science, p.56-65, February 28-March 02, 1995, Nashville, Tennessee, United States
	Du Li , Richard R. Muntz, A collaboration specification language, ACM SIGPLAN Notices, v.35 n.1, p.149-162, Jan. 2000
	Christine Julien , Gruia-Catalin Roman, Egocentric context-aware programming in ad hoc mobile environments, Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering, November 18-22, 2002, Charleston, South Carolina, USA
	Keunwoo Lee , Anthony LaMarca , Craig Chambers, HydroJ: object-oriented pattern matching for evolvable distributed systems, ACM SIGPLAN Notices, v.38 n.11, November 2003
	Patrick Th. Eugster , Pascal A. Felber , Rachid Guerraoui , Anne-Marie Kermarrec, The many faces of publish/subscribe, ACM Computing Surveys (CSUR), v.35 n.2, p.114-131, June 2003
	H. De Sterck , R. S. Markel , T. Phol , U. Rüde, A lightweight Java taskspaces framework for scientific computing on computational grids, Proceedings of the 2003 ACM symposium on Applied computing, March 09-12, 2003, Melbourne, Florida
	Gianpaolo Cugola , H.-Arno Jacobsen, Using publish/subscribe middleware for mobile systems, ACM SIGMOBILE Mobile Computing and Communications Review, v.6 n.4, p.25-33, October 2002
	F. S. de Boer , M. Gabbrielli , M. C. Meo, A denotational semantics for Timed Linda, Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming, p.28-36, September 05-07, 2001, Florence, Italy
	Richard Banach , George A. Papadopoulos, Linear behaviour of term graph rewriting programs, Proceedings of the 1995 ACM symposium on Applied computing, p.157-163, February 26-28, 1995, Nashville, Tennessee, United States
	Rocco De Nicola , Michele Loreti, A modal logic for mobile agents, ACM Transactions on Computational Logic (TOCL), v.5 n.1, p.79-128, January 2004
	Nadia Busi , Cristian Manfredini , Alberto Montresor , Gianluigi Zavattaro, PeerSpaces: data-driven coordination in peer-to-peer networks, Proceedings of the 2003 ACM symposium on Applied computing, March 09-12, 2003, Melbourne, Florida
	Peter McBurney , Simon Parsons, Posit spaces: a performative model of e-commerce, Proceedings of the second international joint conference on Autonomous agents and multiagent systems, July 14-18, 2003, Melbourne, Australia
	Ronaldo Menezes , Robert Tolksdorf, A new approach to scalable Linda-systems based on swarms, Proceedings of the 2003 ACM symposium on Applied computing, March 09-12, 2003, Melbourne, Florida
	Eric Monfroy , Carlos Castro, Basic components for constraint solver cooperations, Proceedings of the 2003 ACM symposium on Applied computing, March 09-12, 2003, Melbourne, Florida
	Ahmed Charles , Ronaldo Menezes , Robert Tolksdorf, On the implementation of SwarmLinda, Proceedings of the 42nd annual Southeast regional conference, April 02-03, 2004, Huntsville, Alabama
	Mario Bravetti , Roberto Lucchi , Gianluigi Zavattaro , Roberto Gorrieri, Web Services for E-commerce: guaranteeing security access and quality of service, Proceedings of the 2004 ACM symposium on Applied computing, March 14-17, 2004, Nicosia, Cyprus
	eva Kühn , Fabian Schmied, XL-AOF: lightweight aspects for space-based computing, Proceedings of the 1st workshop on Aspect oriented middleware development, November 28-December 02, 2005, Grenoble, France
	John Reumann , Kang G. Shin, Stateful distributed interposition, ACM Transactions on Computer Systems (TOCS), v.22 n.1, p.1-48, February 2004
	Roberto Lucchi , Gianluigi Zavattaro, WSSecSpaces: a secure data-driven coordination service for Web Services applications, Proceedings of the 2004 ACM symposium on Applied computing, March 14-17, 2004, Nicosia, Cyprus
	Daniele Gorla , Rosario Pugliese, Controlling data movement in global computing applications, Proceedings of the 2004 ACM symposium on Applied computing, March 14-17, 2004, Nicosia, Cyprus
	G.-C. Roman, Language and visualization support for large-scale concurrency, Proceedings of the 10th international conference on Software engineering, p.296-308, April 11-15, 1988, Singapore
	Chris McDonald, Teaching concurrency with Joyce and Linda, ACM SIGCSE Bulletin, v.24 n.1, p.46-52, March 1992
	G. A. Alverson , D. Notkin, Program Structuring for Effective Parallel Portability, IEEE Transactions on Parallel and Distributed Systems, v.4 n.9, p.1041-1059, September 1993
	David M. Arnow, XDP: a simple library for teaching a distributed programming module, ACM SIGCSE Bulletin, v.27 n.1, p.82-86, March 1995
	Kshirasagar Naik , David S. L. Wei, Software implementation strategies for power-conscious systems, Mobile Networks and Applications, v.6 n.3, p.291-305, June 2001
	Nicholas Carriero , David Gelernter, Applications experience with Linda, ACM SIGPLAN Notices, v.23 n.9, p.173-187, Sept. 1988
	David K. Garnick , A. Toni Cohen, Locality in distributed computations, Proceedings of the 1988 ACM sixteenth annual conference on Computer science, p.335-344, February 1988, Atlanta, Georgia, United States
	Gian Pietro Picco , Amy L. Murphy , Gruia-Catalin Roman, Developing mobile computing applications with LIME, Proceedings of the 22nd international conference on Software engineering, p.766-769, June 04-11, 2000, Limerick, Ireland
	Marcello M. Bonsangue , Joost N. Kok , G. Zavattaro, Comparing coordination models based on shared distributed replicated data, Proceedings of the 1999 ACM symposium on Applied computing, p.156-165, February 28-March 02, 1999, San Antonio, Texas, United States
	Licia Capra , Gordon S. Blair , Cecilia Mascolo , Wolfgang Emmerich , Paul Grace, Exploiting reflection in mobile computing middleware, ACM SIGMOBILE Mobile Computing and Communications Review, v.6 n.4, p.34-44, October 2002
	Patty Kostkova , Julie A. McCann, Support for dynamic trading and runtime adaptability in mobile environments, Adaptive evolutionary information systems, Idea Group Publishing, Hershey, PA, 2003
	G. Castagna , J. Vitek , F. Zappa Nardelli, The Seal Calculus, Information and Computation, v.201 n.1, p.1-54, 25 August 2005
	Michael N. Huhns, Networking Embedded Agents, IEEE Internet Computing, v.3 n.1, p.91-93, January 1999
	Carol Critchlow , Kim Taylor, The inhibition spectrum and the achievement of causal consistency, Distributed Computing, v.10 n.1, p.11-27, July 1996
	Rocco de Nicola , Gian Luigi Ferrari , Rosario Pugliese, KLAIM: A Kernel Language for Agents Interaction and Mobility, IEEE Transactions on Software Engineering, v.24 n.5, p.315-330, May 1998
	Stephan Reiff-Marganiec , Kenneth J. Turner, Feature interaction in policies, Computer Networks: The International Journal of Computer and Telecommunications Networking, v.45 n.5, p.569-584, 5 August 2004
	Kamin Whitehouse , Cory Sharp , Eric Brewer , David Culler, Hood: a neighborhood abstraction for sensor networks, Proceedings of the 2nd international conference on Mobile systems, applications, and services, June 06-09, 2004, Boston, MA, USA
	Paolo Ciancarini, PoliS: a programming model for multiple tuple spaces, Proceedings of the 6th international workshop on Software specification and design, October 25-26, 1991, Como, Italy
	Carlos Mitidieri , Jörg Kaiser, Attribute-based filtering for embedded systems, Proceedings of the 2nd international workshop on Distributed event-based systems, June 08-08, 2003, San Diego, California
	Ross D. Gardler , Nikolay Mehandjiev, Using XML pipelines to build dynamically configurable software, Proceedings of the winter international synposium on Information and communication technologies, January 05-08, 2004, Cancun, Mexico
	Rohan Sen , Radu Handorean , Gruia-Catalin Roman , Gregory Hackmann, Knowledge-driven interactions with services across ad hoc networks, Proceedings of the 2nd international conference on Service oriented computing, November 15-19, 2004, New York, NY, USA
	P. Wyckoff , S. W. McLaughry , T. J. Lehman , D. A. Ford, T spaces, IBM Systems Journal, v.37 n.3, p.454-474, 1998
	Tom Chothia , Dominic Duggan, Abstractions for fault-tolerant global computing, Theoretical Computer Science, v.322 n.3, p.567-613, 6 September 2004
	Cecilia Mascolo , Licia Capra , Stefanos Zachariadis , Wolfgang Emmerich, XMIDDLE: A Data-Sharing Middleware for Mobile Computing, Wireless Personal Communications: An International Journal, v.21 n.1, p.77-103, April 2002
	Adrian Friday , Nigel Davies , Nat Wallbank , Elaine Catterall , Stephen Pink, Supporting service discovery, querying and interaction in ubiquitous computing environments, Wireless Networks, v.10 n.6, p.631-641, November 2004
	Tim Boykett, Efficient exhaustive listings of reversible one dimensional cellular automata, Theoretical Computer Science, v.325 n.2, p.215-247, 1 October 2004
	Antony I. T. Rowstron, Using mobile code to provide fault tolerance in tuple space based coordination languages, Science of Computer Programming, v.46 n.1-2, p.137-162, January/February 2003
	Philipp Obreiter , Guntram Gräf, Towards scalability in tuple spaces, Proceedings of the 2002 ACM symposium on Applied computing, March 11-14, 2002, Madrid, Spain
	Adrian Friday , Nigel Davies , Jochen Seitz , Matt Storey , Stephen P. Wade, Experiences of Using Generative Communications to Support AdaptiveMobile Applications, Distributed and Parallel Databases, v.7 n.3, p.319-342, July 1999
	Nadia Busi , Gianluigi Zavattaro, Expired data collection in shared dataspaces, Theoretical Computer Science, v.298 n.3, p.529-556, 11 April 2003
	Moises Lejter , Thomas Dean, A Framework for the Development of Multiagent Architectures, IEEE Expert: Intelligent Systems and Their Applications, v.11 n.6, p.47-59, December 1996
	Jie Liu , Elaine Cheong , Feng Zhao, Semantics-based optimization across uncoordinated tasks in networked embedded systems, Proceedings of the 5th ACM international conference on Embedded software, September 18-22, 2005, Jersey City, NJ, USA
	Robert G. Babb, Issues in the specification and design of parallel programs, Proceedings of the 6th international workshop on Software specification and design, October 25-26, 1991, Como, Italy
	Lorenzo Bettini , Rocco De Nicola , Rosario Pugliese, KLAVA: a Java package for distributed and mobile applications, Software—Practice & Experience, v.32 n.14, p.1365-1394, 25 November 2002
	Jan Vitek , Ciarán Bryce , Manuel Oriol, Coordinating processes with secure spaces, Science of Computer Programming, v.46 n.1-2, p.163-193, January/February 2003
	Gian Pietro Picco , Davide Balzarotti , Paolo Costa, LighTS: a lightweight, customizable tuple space supporting context-aware applications, Proceedings of the 2005 ACM symposium on Applied computing, March 13-17, 2005, Santa Fe, New Mexico
	Ron Coleman , Anil Bhardwaj , Albert Delucca , Gary Finke , Anthony Sofia , Michael Jutt , Sachin Batra, Microspaces: a compact javaspaces alternative for teaching net-centric computing in Java, Journal of Computing Sciences in Colleges, v.19 n.5, p.35-43, May 2004
	Alessandro Ricci , Mirko Viroli, A timed extension of ReSpecT, Proceedings of the 2005 ACM symposium on Applied computing, March 13-17, 2005, Santa Fe, New Mexico
	Milan Milenkovic , Scott H. Robinson , Rob C. Knauerhase , David Barkai , Sharad Garg , Vijay Tewari , Todd A. Anderson , Mic Bowman, Toward Internet Distributed Computing, Computer, v.36 n.5, p.38-46, May 2003
	Karin Anna Hummel , Szabolcs Póta , Christian Schusterreiter, Supporting terminal mobility by means of self-adaptive communication object migration, Proceedings of the 3rd ACM international workshop on Wireless mobile applications and services on WLAN hotspots, September 02-02, 2005, Cologne, Germany
	Gruia-Catalin Roman , Jamie Payton, A principled exploration of coordination models, Theoretical Computer Science, v.336 n.2-3, p.367-401, 26 May 2005
	Kyle Burke, Extending CSP to investigate Linda ambiguities, Journal of Computing Sciences in Colleges, v.18 n.5, p.284-285, May 2003
	Jessie Dedecker , Tom Van Cutsem , Stijn Mostinckx , Theo D'Hondt , Wolfgang De Meuter, Ambient-oriented programming, Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, October 16-20, 2005, San Diego, CA, USA
	Rocco De Nicola , Diego Latella , Mieke Massink, Formal modeling and quantitative analysis of KLAIM-based mobile systems, Proceedings of the 2005 ACM symposium on Applied computing, March 13-17, 2005, Santa Fe, New Mexico
	Paolo Ciancarini , Andrea Omicini , Franco Zambonelli, Coordination technologies for internet agents, Nordic Journal of Computing, v.6 n.3, p.215-240, Fall 1999
	Mirko Viroli, Comparing semantic frameworks for coordination: on the conformance issue for coordination media, Proceedings of the 2003 ACM symposium on Applied computing, March 09-12, 2003, Melbourne, Florida
	Luciano Baresi , Carlo Ghezzi , Antonio Miele , Matteo Miraz , Andrea Naggi , Filippo Pacifici, Hybrid service-oriented architectures: a case-study in the automotive domain, Proceedings of the 5th international workshop on Software engineering and middleware, September 05-06, 2005, Lisbon, Portugal
	Patrick T. Eugster , Rachid Guerraoui, Distributed Programming with Typed Events, IEEE Software, v.21 n.2, p.56-64, March 2004
	Shih-Chien Chou , Wei-Chuan Hsu , Wei-Kuang Lo, DPE/PAC: decentralized process engine with product access control, Journal of Systems and Software, v.76 n.3, p.207-219, June 2005
	Matt Storey , Gordon Blair , Adrian Friday, MARE: resource discovery and configuration in ad hoc networks, Mobile Networks and Applications, v.7 n.5, p.377-387, October 2002
	James R. Cordy, Source transformation, analysis and generation in TXL, Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, January 09-10, 2006, Charleston, South Carolina
	Mauro Caporuscio , Paola Inverardi, Uncertain event-based model for egocentric context sensing, Proceedings of the 5th international workshop on Software engineering and middleware, September 05-06, 2005, Lisbon, Portugal
	Mauri Kuorilehto , Marko Hännikäinen , Timo D. Hämäläinen, A survey of application distribution in wireless sensor networks, EURASIP Journal on Wireless Communications and Networking, v.5 n.5, p.774-788, October 2005
	W. Keith Edwards, Putting computing in context: An infrastructure to support extensible context-enhanced collaborative applications, ACM Transactions on Computer-Human Interaction (TOCHI), v.12 n.4, p.446-474, December 2005
	Sylvie Doutre , Peter McBurney , Michael Wooldridge, Law-governed Linda as a semantics for agent dialogue protocols, Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems, July 25-29, 2005, The Netherlands
	David Edward Bakken , Richard D. Schlichting, Supporting Fault-Tolerant Parallel Programming in Linda, IEEE Transactions on Parallel and Distributed Systems, v.6 n.3, p.287-302, March 1995
	Mario Bravetti , Roberto Gorrieri , Roberto Lucchi , Gianluigi Zavattaro, Quantitative information in the tuple space coordination model, Theoretical Computer Science, v.346 n.1, p.28-57, 23 November 2005
	George C. Wells, New and improved: Linda in Java, Science of Computer Programming, v.59 n.1-2, p.82-96, January 2006
	Chien-Liang Fok , Gruia-Catalin Roman , Chenyang Lu, Mobile agent middleware for sensor networks: an application case study, Proceedings of the 4th international symposium on Information processing in sensor networks, April 24-27, 2005, Los Angeles, California
	G. Deen , M. Hammer , J. Bethencourt , I. Eiron , J. Thomas , J. H. Kaufman, Running Quake II on a grid, IBM Systems Journal, v.45 n.1, p.21-44, January 2006
	Robert Tolksdorf , Elena Paslaru Bontas , Lyndon J. B. Nixon, A coordination model for the semantic web, Proceedings of the 2006 ACM symposium on Applied computing, April 23-27, 2006, Dijon, France
	Sudhir Ahuja , Nicholas J. Carriero , David H. Gelernter , Venkatesh Krishnaswamy, Matching Language and Hardware for Parallel Computation in the Linda Machine, IEEE Transactions on Computers, v.37 n.8, p.921-929, August 1988
	Boris Roussev , Jie Wu, Distributed computing using Java: a comparison of two server designs, Journal of Systems Architecture: the EUROMICRO Journal, v.52 n.7, p.432-440, July 2006
	Rocco De Nicola , Daniele Gorla , Rosario Pugliese, On the expressive power of KLAIM-based calculi, Theoretical Computer Science, v.356 n.3, p.387-421, 30 May 2006
	James R. Cordy, The TXL source transformation language, Science of Computer Programming, v.61 n.3, p.190-210, August 2006
	Vincenzo De Florio , Chris Blondia, A survey of linguistic structures for application-level fault tolerance, ACM Computing Surveys (CSUR), v.40 n.2, p.1-37, April 2008
	Domenico Cotroneo , Armando Migliaccio , Stefano Russo, The Esperanto Broker: a communication platform for nomadic computing systems, Software—Practice & Experience, v.37 n.10, p.1017-1046, August 2007
	Shangping Ren , Yue Yu , Nianen Chen , Jeffrey J.-P. Tsai , Kevin Kwiat, The role of roles in supporting reconfigurability and fault localizations for open distributed and embedded systems, ACM Transactions on Autonomous and Adaptive Systems (TAAS), v.2 n.3, p.10-es, September 2007
	R. Menezes , I. Merrick , A. Wood, Coordination in a Content-Addressable Web, Autonomous Agents and Multi-Agent Systems, v.2 n.3, p.287-301, September 1999
	Sascha Ossowski , Andrea Omicini, Coordination knowledge engineering, The Knowledge Engineering Review, v.17 n.4, p.309-316, December 2002
	Andrea Omicini , Franco Zambonelli, Coordination for Internet Application Development, Autonomous Agents and Multi-Agent Systems, v.2 n.3, p.251-269, September 1999
	Ludger Fiege , Gero Mühl , Felix C. Gärtner, Modular event-based systems, The Knowledge Engineering Review, v.17 n.4, p.359-388, December 2002
	Alysson Neves Bessani , Joni da Silva Fraga , Lau Cheuk Lung, BTS: a Byzantine fault-tolerant tuple space, Proceedings of the 2006 ACM symposium on Applied computing, April 23-27, 2006, Dijon, France
	Liang Guo , Barrett R. Bryant , Robert M. Hyatt, Java/CORBA technology on a Beowulf cluster, Proceedings of the 38th annual on Southeast regional conference, April 07-08, 2000, Clemson, South Carolina
	Schahram Dustdar , Martin Treiber, Integration of transient Web services into a virtual peer to peer Web service registry, Distributed and Parallel Databases, v.20 n.2, p.91-115, September 2006
	Patrick Eugster, Type-based publish/subscribe: Concepts and experiences, ACM Transactions on Programming Languages and Systems (TOPLAS), v.29 n.1, p.6-es, January 2007
	Tom Van Cutsem , Jessie Dedecker , Stijn Mostinckx , Elisa Gonzalez , Theo D'Hondt , Wolfgang De Meuter, Ambient references: addressing objects in mobile networks, Companion to the 21st ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, October 22-26, 2006, Portland, Oregon, USA
	Nuno Correia , Luís Alves , Helder Correia , Luis Romero , Carmen Morgado , Luís Soares , José C. Cunha , Teresa Romão , A. Eduardo Dias , Joaquim A. Jorge, InStory: a system for mobile information access, storytelling and gaming activities in physical spaces, Proceedings of the 2005 ACM SIGCHI International Conference on Advances in computer entertainment technology, p.102-109, June 15-17, 2005, Valencia, Spain
	Dirk Pattinson , Martin Wirsing, A coordination approach to mobile components, Theoretical Computer Science, v.331 n.2-3, p.457-483, 25 February 2005
	Giovanni Russello , Michel R. V. Chaudron , Maarten van Steen , Ibrahim Bokharouss, An experimental evaluation of self-managing availability in shared data spaces, Science of Computer Programming, v.64 n.2, p.246-262, January, 2007
	Du Li , Richard R. Muntz, A collaboration specification language, Proceedings of the 2nd conference on Conference on Domain-Specific Languages, p.12-12, October 03-05, 1999, Austin, Texas
	Patrick Th. Eugster , Rachid Guerraoui, Content-based publish/subscribe with structural reflection, Proceedings of the 6th conference on USENIX Conference on Object-Oriented Technologies and Systems, p.10-10, January 29-February 02, 2001, San Antonia, Texas
	Jozef Hooman , Jaco van de Pol, Semantic models of a timed distributed dataspace architecture, Theoretical Computer Science, v.331 n.2-3, p.291-323, 25 February 2005
	Luca Mottola , Gian Pietro Picco, Using logical neighborhoods to enable scoping in wireless sensor networks, Proceedings of the 3rd international Middleware doctoral symposium, p.6, November 27-December 01, 2006, Melbourne, Australia
	Karen Henricksen , Ricky Robinson, A survey of middleware for sensor networks: state-of-the-art and future directions, Proceedings of the international workshop on Middleware for sensor networks, p.60-65, November 28-28, 2006, Melbourne, Australia
	Tiffani L. Williams , Marc L. Smith, The role of diverse populations in phylogenetic analysis, Proceedings of the 8th annual conference on Genetic and evolutionary computation, July 08-12, 2006, Seattle, Washington, USA
	Budi Arief , Alexei Iliasov , Alexander Romanovsky, On using the CAMA framework for developing open mobile fault tolerant agent systems, Proceedings of the 2006 international workshop on Software engineering for large-scale multi-agent systems, May 22-23, 2006, Shanghai, China
	Riccardo Focardi , Roberto Lucchi , Gianluigi Zavattaro, Secure shared data-space coordination languages: a process algebraic surveys, Science of Computer Programming, v.63 n.1, p.3-15, November 2006
	Alessandro Aldini, Classification of security properties in a Linda-like process algebra, Science of Computer Programming, v.63 n.1, p.16-38, November 2006
	Rocco De Nicola , Daniele Gorla , Rosario Pugliese, Confining data and processes in global computing applications, Science of Computer Programming, v.63 n.1, p.57-87, November 2006
	Andrea Omicini , Alessandro Ricci , Mirko Viroli, Agent coordination contexts for the formal specification and enactment of coordination and security policies, Science of Computer Programming, v.63 n.1, p.88-107, November 2006
	N. Melab , M. Mezmaz , E.-G. Talbi, Parallel cooperative meta-heuristics on the computational grid: a case study: the bi-objective flow-shop problem, Parallel Computing, v.32 n.9, p.643-659, October 2006
	Paolo Costa , Luca Mottola , Amy L. Murphy , Gian Pietro Picco, TeenyLIME: transiently shared tuple space middleware for wireless sensor networks, Proceedings of the international workshop on Middleware for sensor networks, p.43-48, November 28-28, 2006, Melbourne, Australia
	Daniele Gorla, Synchrony vs Asynchrony in Communication Primitives, Electronic Notes in Theoretical Computer Science (ENTCS), v.175 n.3, p.87-108, June, 2007
	Nur Izura Udzir , Alan M. Wood , Jeremy L. Jacob, Coordination with multicapabilities, Science of Computer Programming, v.64 n.2, p.205-222, January, 2007
	Rocco De Nicola , Daniele Gorla , Rosario Pugliese, Global computing in a dynamic network of tuple spaces, Science of Computer Programming, v.64 n.2, p.187-204, January, 2007
	Andrea Omicini, Formal ReSpecT in the A&A Perspective, Electronic Notes in Theoretical Computer Science (ENTCS), v.175 n.2, p.97-117, June, 2007
	Ronaldo Menezes , Francisco Martins , Francisca Emanuelle Vieira , Rafael Silva , Márcio Braga, A model for terrain coverage inspired by ant's alarm pheromones, Proceedings of the 2007 ACM symposium on Applied computing, March 11-15, 2007, Seoul, Korea
	Anthony LaMarca , W. Keith Edwards , Paul Dourish , John Lamping , Ian Smith , Jim Thornton, Taking the work out of workflow: mechanisms for document-centered collaboration, Proceedings of the sixth conference on European Conference on Computer Supported Cooperative Work, p.1-20, September 12-16, 1999, Copenhagen, Denmark
	Kevin Palfreyman , Tom Rodden , Jonathan Trevor, PSI: a platform for shared interaction, Proceedings of the sixth conference on European Conference on Computer Supported Cooperative Work, p.351-370, September 12-16, 1999, Copenhagen, Denmark
	Silvia Amaro , Ernesto Pimentel , Ana M. Roldan, A Preliminary Comparative Study on the Expressive Power of Reo and Linda, Electronic Notes in Theoretical Computer Science (ENTCS), v.180 n.2, p.3-19, June, 2007
	Luca Mottola , Amy L. Murphy , Gian Pietro Picco, Pervasive games in a mote-enabled virtual world using tuple space middleware, Proceedings of 5th ACM SIGCOMM workshop on Network and system support for games, October 30-31, 2006, Singapore
	Klaus Herrmann , Gero Mühl , Michael A. Jaeger, MESHMdl event spaces - A coordination middleware for self-organizing applications in ad hoc networks, Pervasive and Mobile Computing, v.3 n.4, p.467-487, August, 2007
	Lorenzo Bettini , Rocco De Nicola , Daniele Falassi , Michele Loreti, Implementing a Distributed Mobile Calculus Using the IMC Framework, Electronic Notes in Theoretical Computer Science (ENTCS), 181, p.63-79, June, 2007
	Carolyn L. Talcott, Policy-based Coordination in PAGODA: A Case Study, Electronic Notes in Theoretical Computer Science (ENTCS), 181, p.97-112, June, 2007
	Eugenio Moggi, Structuring Operational Semantics: Simplification and Computation, Electronic Notes in Theoretical Computer Science (ENTCS), 172, p.479-497, April, 2007
	Tore Fjellheim , Stephen Milliner , Marlon Dumas , Julien Vayssière, A process-based methodology for designing event-based mobile composite applications, Data & Knowledge Engineering, v.61 n.1, p.6-22, April, 2007
	Chia-Wei Wang , Hung-Chang Hsiao , Wen-Hung Sun , Chung-Ta King , Ming-Tsung Sun, Building a tuple space on structured peer-to-peer networks, The Journal of Supercomputing, v.40 n.3, p.213-227, June 2007
	David M. Arnow, DP: a library for building portable, reliable distributed applications, Proceedings of the USENIX 1995 Technical Conference Proceedings on USENIX 1995 Technical Conference Proceedings, p.20-20, January 16-20, 1995, New Orleans, Louisiana
	Amy L. Murphy , Gian Pietro Picco , Gruia-Catalin Roman, LIME: A coordination model and middleware supporting mobility of hosts and agents, ACM Transactions on Software Engineering and Methodology (TOSEM), v.15 n.3, p.279-328, July 2006
	Manuel Díaz , Bartolomé Rubio , José M. Troya, A tuple channel-based coordination model for parallel and distributed programming, Journal of Parallel and Distributed Computing, v.67 n.10, p.1092-1107, October, 2007
	José Proença , Dave Clarke, Coordination Models Orc and Reo Compared, Electronic Notes in Theoretical Computer Science (ENTCS), v.194 n.4, p.57-76, April, 2008
	Chien-Liang Fok , Gruia-Catalin Roman , Chenyang Lu, Towards a flexible global sensing infrastructure, ACM SIGBED Review, v.4 n.3, p.1-6, April 2007
	Mirko Viroli , Enrico Denti , Alessandro Ricci, Engineering a BPEL orchestration engine as a multi-agent system, Science of Computer Programming, v.66 n.3, p.226-245, May, 2007
	Mirko Viroli , Andrea Omicini, ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications, Electronic Notes in Theoretical Computer Science (ENTCS), v.180 n.2, p.123-144, June, 2007
	Gerald Weber, A platform-independent approach for auditing information systems, Proceedings of the second Australasian workshop on Health data and knowledge management, January 01-01, 2008, Wollongong, NSW, Australia
	Alessandro Lapadula , Rosario Pugliese , Francesco Tiezzi, Service Discovery and Negotiation With COWS, Electronic Notes in Theoretical Computer Science (ENTCS), v.200 n.3, p.133-154, May, 2008
	Mathias Broxvall, A middleware for ecologies of robotic devices, Proceedings of the 1st international conference on Robot communication and coordination, October 15-17, 2007, Athens, Greece
	Lidia Fuentes , Pablo Sánchez, Aspect-Oriented Coordination, Electronic Notes in Theoretical Computer Science (ENTCS), 189, p.87-103, July, 2007
	F. Fummi , G. Perbellini , R. Pietrangeli , D. Quaglia, Interactive presentation: A middleware-centric design flow for networked embedded systems, Proceedings of the conference on Design, automation and test in Europe, April 16-20, 2007, Nice, France
	Dave Clarke , David Costa , Farhad Arbab, Connector colouring I: Synchronisation and context dependency, Science of Computer Programming, v.66 n.3, p.205-225, May, 2007
	Tobin J. Lehman , Robert G. Deen , James H. Kaufman, An autonomic operating environment for large-scale distributed applications, Integrated Computer-Aided Engineering, v.13 n.1, p.81-99, January 2006
	W. Hasselbring, Design Of A Communication Framework For Interoperable Information Systems, Journal of Integrated Design & Process Science, v.3 n.3, p.15-27, August 1999
	Oliver Storz , Adrian Friday , Nigel Davies, Supporting ordering and consistency in a distributed Event Heap for Ubiquitous Computing, Personal and Ubiquitous Computing, v.10 n.1, p.45-49, December 2005
	Roberto Gorrieri , Roberto Lucchi , Gianluigi Zavattaro, Supporting Secure Coordination in SecSpaces, Fundamenta Informaticae, v.73 n.4, p.479-506, December 2006
	Christoph Endres , Andreas Butz , Asa MacWilliams, A survey of software infrastructures and frameworks for ubiquitous computing, Mobile Information Systems, v.1 n.1, p.41-80, January 2005
	Daniel E. Cooke , Vladik Kreinovich , Joseph E. Urban, Designing Interdisciplinary Approaches To Problem Solving Into Computer Languages, Journal of Integrated Design & Process Science, v.6 n.3, p.29-43, August 2002
	Valerie Issarny , Mauro Caporuscio , Nikolaos Georgantas, A Perspective on the Future of Middleware-based Software Engineering, 2007 Future of Software Engineering, p.244-258, May 23-25, 2007
	Rob Minson , Georgios Theodoropoulos, Adaptive Support of Range Queries via Push-Pull Algorithms, Proceedings of the 21st International Workshop on Principles of Advanced and Distributed Simulation, p.53-60, June 12-15, 2007
	Kamal Zuhairi Zamli , Nor Ashidi Mat Isa , Mohammed Fadel Jamil Klaib , Siti Norbaya Azizan, Designing a combinatorial java unit testing tool, Proceedings of the third conference on IASTED International Conference: Advances in Computer Science and Technology, p.153-158, April 02-04, 2007, Phuket, Thailand
	L. Mohammad Khanli , M. Analoui, QoS-based scheduling of workflow applications on grids, Proceedings of the third conference on IASTED International Conference: Advances in Computer Science and Technology, p.276-282, April 02-04, 2007, Phuket, Thailand
	Gruia-Catalin Roman , Amy L. Murphy, Rapid development of dependable applications over Ad hoc networks, ACM SIGSOFT Software Engineering Notes, v.25 n.1, p.77-78, Jan 2000
	Nigel Davies , Adrian Friday , Stephen P. Wade , Gordon S. Blair, An asynchronous distributed systems platform for heterogeneous environments, Proceedings of the 8th ACM SIGOPS European workshop on Support for composing distributed applications, p.66-73, September 1998, Sintra, Portugal
	Patrick Thomas Eugster , Christian Heide Damm , Rachid Guerraoui, Towards Safe Distributed Application Development, Proceedings of the 26th International Conference on Software Engineering, p.347-356, May 23-28, 2004
	Frank Siegemund , Christian Floerkemeier , Harald Vogt, The value of handhelds in smart environments, Personal and Ubiquitous Computing, v.9 n.2, p.69-80, March 2005
	Mehdi Dastani , Jorge J. Gomez-sanz, Programming multi-agent systems, The Knowledge Engineering Review, v.20 n.2, p.151-164, June 2005
	Frank S. de Boer , Maurizio Gabbrielli , Maria C. Meo, A Timed Linda Language and its Denotational Semantics, Fundamenta Informaticae, v.63 n.4, p.309-330, December 2004
	Nicola Drago , Franco Fummi , Marco Monguzzi , Giovanni Perbellini , Massimo Poncino, Estimation of Bus Performance for a Tuplespace in an Embedded Architecture, Proceedings of the conference on Design, Automation and Test in Europe: Designers' Forum, p.20188, March 03-07, 2003
	C. T. H. Everaars , F. Arbab , B. Koren, Modernizing Existing Software: A Case Study, Proceedings of the 2004 ACM/IEEE conference on Supercomputing, p.3, November 06-12, 2004
	Cecilia Mascolo , Gian Pietro Picco , Gruia-Catalin Roman, CODEWEAVE: Exploring Fine-Grained Mobility of Code, Automated Software Engineering, v.11 n.3, p.207-243, June 2004
	Lorenzo Bettini , Rocco De Nicola , Michele Loreti, Formulae Meet Programs Over the Net: A Framework for Correct Network Aware Programming, Automated Software Engineering, v.11 n.3, p.245-288, June 2004
	Gianluigi Ferrari , Eugenio Moggi , Rosario Pugliese, MetaKlaim: a type safe multi-stage language for global computing, Mathematical Structures in Computer Science, v.14 n.3, p.367-395, June 2004
	Bogdan Carbunar , Marco Tulio Valente , Jan Vitek, Coordination and mobility in CoreLime, Mathematical Structures in Computer Science, v.14 n.3, p.397-419, June 2004
	Roberto Bruni , Ugo Montanari, Concurrent models for Linda with transactions, Mathematical Structures in Computer Science, v.14 n.3, p.421-468, June 2004
	Robert Jellinghaus, Eiffel Linda: an object-oriented Linda dialect, ACM SIGPLAN Notices, v.25 n.12, p.70-84, Dec. 1990
	Magdi Amer , Ahmed Karmouch , Tom Gray , Serge Mankovskii, An Agent Model for the Resolution of Feature Conflicts in Telephony, Journal of Network and Systems Management, v.8 n.3, p.419-437, September 2000
	P. Ciancarini , F. Franze` , C. Mascolo, A Coordination Model to Specify Systems Including Mobile Agents, Proceedings of the 9th international workshop on Software specification and design, p.96, April 16-18, 1998
	P. Ciancarini , D. Rossi, Coordinating Java agents over the WWW, World Wide Web, v.1 n.2, p.87-99, 1998
	P. Ciancarini , N. Guerrini, Linda meets Minix, ACM SIGOPS Operating Systems Review, v.27 n.4, p.76-92, Oct. 1993
	Paul Butcher , Hussein Zedan, Lucinda—an overview, ACM SIGPLAN Notices, v.26 n.8, p.90-100, Aug. 1991
	R. Ananthanarayanan , Sathis Menon , Ajay Mohindra , Umakishore Ramachandran, Experiences in integrating distributed shared memory with virtual memory management, ACM SIGOPS Operating Systems Review, v.26 n.3, p.4-26, July 1992
	Yuzuru Tanaka, Proximity-based ad hoc federation among smart objects and its applications, Proceedings of the 5th international conference on Soft computing as transdisciplinary science and technology, October 28-31, 2008, Cergy-Pontoise, France
	Christine Julien , Gruia-Catalin Roman, EgoSpaces: Facilitating Rapid Development of Context-Aware Mobile Applications, IEEE Transactions on Software Engineering, v.32 n.5, p.281-298, May 2006
	Giovanni Russello , Naranker Dulay , Michel Chaudron , Maarten van Steen, GSpace: an architectural approach for self-managing extra-functional concerns, Proceedings of the 5th international conference on Soft computing as transdisciplinary science and technology, October 28-31, 2008, Cergy-Pontoise, France
	Shangping Ren , Yue Yu , Kevin A. Kwiat , Jeffrey Tsai, A Coordination Model for Improving Software System Attack-Tolerance and Survivability in Open Hostile Environments, International Journal of Distributed Sensor Networks, v.3 n.2, p.175-199, April 2007
	Ilya Lopatkin, Resilience through dynamic reconfiguration in agent systems, Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems, November 17-19, 2008, Newcastle upon Tyne, United Kingdom
	Marco P. Locatelli , Giuseppe Vizzari, Awareness in collaborative ubiquitous environments: The Multilayered Multi-Agent Situated System approach, ACM Transactions on Autonomous and Adaptive Systems (TAAS), v.2 n.4, p.13-es, November 2007
	Rocco De Nicola , Daniele Gorla , Rosario Pugliese, Basic observables for a calculus for global computing, Information and Computation, v.205 n.10, p.1491-1525, October, 2007
	Alysson Neves Bessani , Eduardo Pelison Alchieri , Miguel Correia , Joni Silva Fraga, DepSpace: a byzantine fault-tolerant coordination service, ACM SIGOPS Operating Systems Review, v.42 n.4, May 2008
	Matteo Casadei , Andrea Omicini , Mirko Viroli, Prototyping A&A ReSpecT in Maude, Electronic Notes in Theoretical Computer Science (ENTCS), v.194 n.4, p.93-109, April, 2008
	Sara Montagna , Alessandro Ricci , Andrea Omicini, A&A for modelling and engineering simulations in Systems Biology, International Journal of Agent-Oriented Software Engineering, v.2 n.2, p.222-245, February 2008
	Matteo Ceriotti , Amy L. Murphy , Gian Pietro Picco, Data sharing vs. message passing: synergy or incompatibility?: an implementation-driven case study, Proceedings of the 2008 ACM symposium on Applied computing, March 16-20, 2008, Fortaleza, Ceara, Brazil
	Rocco De nicola , Michele Loreti, Multiple-labelled transition systems for nominal calculi and their logics†, Mathematical Structures in Computer Science, v.18 n.1, p.107-143, February 2008
	Daniel Wutke , Daniel Martin , Frank Leymann, Model and infrastructure for decentralized workflow enactment, Proceedings of the 2008 ACM symposium on Applied computing, March 16-20, 2008, Fortaleza, Ceara, Brazil
	Carolyn Talcott , Marjan Sirjani , Shangping Ren, Comparing Three Coordination Models: Reo, ARC, and RRD, Electronic Notes in Theoretical Computer Science (ENTCS), v.194 n.4, p.39-55, April, 2008
	Matthew Luckie , Young Hyun , Bradley Huffaker, Traceroute probe method and forward IP path inference, Proceedings of the 8th ACM SIGCOMM conference on Internet measurement, October 20-22, 2008, Vouliagmeni, Greece
	Kaushik Veeraraghavan , Edmund B. Nightingale , Jason Flinn , Brian Noble, quFiles: a unifying abstraction for mobile data management, Proceedings of the 9th workshop on Mobile computing systems and applications, February 25-26, 2008, Napa Valley, California
	Zeljko Obrenovic , Dragan Gaševic, Open Source Software: All You Do Is Put It Together, IEEE Software, v.24 n.5, p.86-95, September 2007
	Brahmananda Sapkota , Sanaullah Nazir , Manfred Hauswirth , Tomas Vitvar, Scalable architecture for web service discovery, Proceedings of the 3rd international conference on Scalable information systems, June 04-06, 2008, Vico Equense, Italy
	Jia Yu , Rajkumar Buyya, A Novel Architecture for Realizing Grid Workflow using Tuple Spaces, Proceedings of the 5th IEEE/ACM International Workshop on Grid Computing, p.119-128, November 08-08, 2004
	Daniel Martin , Daniel Wutke , Frank Leymann, Synchronizing control flow in a tuplespace-based, distributed workflow management system, Proceedings of the 10th international conference on Electronic commerce, August 19-22, 2008, Innsbruck, Austria
	Terry Winograd, Architectures for context, Human-Computer Interaction, v.16 n.2, p.401-419, December 2001
	Lyndon j. b. Nixon , Elena Simperl , Reto Krummenacher , Francisco Martin-recuerda, Tuplespace-based computing for the semantic web: A survey of the state-of-the-art, The Knowledge Engineering Review, v.23 n.2, p.181-212, June 2008
	Anind K. Dey , Gregory D. Abowd , Daniel Salber, A conceptual framework and a toolkit for supporting the rapid prototyping of context-aware applications, Human-Computer Interaction, v.16 n.2, p.97-166, December 2001
	Ashish Deshpande , Martin Schultz, Efficient Parallel Programming with Linda, Scientific Programming, v.1 n.2, p.177-183, April 1992
	Francesco Amigoni, An Approach to the Development of Flexible Multirobot Systems: the Potential of Using Mobile Code Technology, Journal of Intelligent and Robotic Systems, v.52 n.3-4, p.417-445, August 2008
	Andrea Omicini , Alessandro Ricci , Mirko Viroli, Timed environment for web agents, Web Intelligence and Agent Systems, v.5 n.2, p.161-175, April 2007
	Davide Balzarotti , Paolo Costa , Gian Pietro Picco, The LighTS tuple space framework and its customization for context-aware applications, Web Intelligence and Agent Systems, v.5 n.2, p.215-231, April 2007
	Gilles Fedak , Haiwu He , Franck Cappello, BitDew: a programmable environment for large-scale data management and distribution, Proceedings of the 2008 ACM/IEEE conference on Supercomputing, November 15-21, 2008, Austin, Texas
	Daniele Gorla, Comparing communication primitives via their relative expressive power, Information and Computation, v.206 n.8, p.931-952, August, 2008
	Miguel Correia , Alysson Neves Bessani , Paulo Veríssimo, Research note: On Byzantine generals with alternative plans, Journal of Parallel and Distributed Computing, v.68 n.9, p.1291-1296, September, 2008
	Matteo Casadei , Mirko Viroli , Luca Gardelli, On the collective sort problem for distributed tuple spaces, Science of Computer Programming, v.74 n.9, p.702-722, July, 2009
	Linas Laibinis , Elena Troubitsyna , Alexei Iliasov , Alexander Romanovsky, Formal development of cooperative exception handling for mobile agent systems, Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems, November 17-19, 2008, Newcastle upon Tyne, United Kingdom
	Daniel Martin , Daniel Wutke , Frank Leymann, Using tuplespaces to enact petri net-based workflow definitions, Proceedings of the 10th International Conference on Information Integration and Web-based Applications & Services, November 24-26, 2008, Linz, Austria
	Damián Arregui , François Pacull , Jutta Willamowski, Rule-Based Transactional Object Migration over a Reflective Middleware, Proceedings of the IFIP/ACM International Conference on Distributed Systems Platforms Heidelberg, p.179-196, November 12-16, 2001
	Ambra Molesini , Enrico Denti , Elena Nardini , Andrea Omicini, Situated process engineering for integrating processes from methodologies to infrastructures, Proceedings of the 2009 ACM symposium on Applied Computing, March 08-12, 2009, Honolulu, Hawaii
	Paolo Costa , Luca Mottola , Amy L. Murphy , Gian Pietro Picco, Programming wireless sensor networks with the TeenyLime middleware, Proceedings of the ACM/IFIP/USENIX 2007 International Conference on Middleware, November 26-30, 2007, Newport Beach, California
	Andrei Popovici , Andreas Frei , Gustavo Alonso, A proactive middleware platform for mobile computing, Proceedings of the ACM/IFIP/USENIX 2003 International Conference on Middleware, June 16-20, 2003, Rio de Janeiro, Brazil
	Barry Jay , Delia Kesner, First-class patterns, Journal of Functional Programming, v.19 n.2, p.191-225, March 2009
	Martin Murth , Eva Kühn, Knowledge-based coordination with a reliable semantic subscription mechanism, Proceedings of the 2009 ACM symposium on Applied Computing, March 08-12, 2009, Honolulu, Hawaii
	Mirko Viroli , Matteo Casadei , Andrea Omicini, A framework for modelling and implementing self-organising coordination, Proceedings of the 2009 ACM symposium on Applied Computing, March 08-12, 2009, Honolulu, Hawaii
	W. Keith Edwards , Mark W. Newman , Jana Z. Sedivy , Trevor F. Smith, Experiences with recombinant computing: Exploring ad hoc interoperability in evolving digital networks, ACM Transactions on Computer-Human Interaction (TOCHI), v.16 n.1, p.1-44, April 2009
	Hassan Artail , Rula Antoun , Kassem Fawaz, CRUST: Implementation of clustering and routing functions for mobile ad hoc networks using reactive tuple-spaces, Ad Hoc Networks, v.7 n.6, p.1064-1081, August, 2009
	Adam Giemza , Stefan Weinbrenner , Jan Engler , H. Ulrich Hoppe, Tuple Spaces as a Flexible Integration Platform for Distributed Learning Environments, Proceeding of the 2007 conference on Supporting Learning Flow through Integrative Technologies, p.313-320, June 12, 2007
	Manfred Bortenschlager , Gabriella Castelli , Alberto Rosi , Franco Zambonelli, A context-sensitive infrastructure for coordinating agents in ubiquitous environments, Multiagent and Grid Systems, v.5 n.1, p.1-18, January 2009
	Sergio F. Ochoa , José A. Pino , Gabriel Bravo , Nicolás Dujovne , Andrés Neyem, Mobile Shared Workspaces to Support Construction Inspection Activities, Proceeding of the 2008 conference on Collaborative Decision Making: Perspectives and Challenges, p.270-280, June 25, 2008
	eva Kühn , Richard Mordinyi , László Keszthelyi , Christian Schreiber, Introducing the concept of customizable structured spaces for agent coordination in the production automation domain, Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems, May 10-15, 2009, Budapest, Hungary
	Kevin Marth , Shangping Ren, The ARC Programming Model -- Language Constructs for Coordination, Electronic Notes in Theoretical Computer Science (ENTCS), v.229 n.2, p.95-113, July, 2009
	Chien-Liang Fok , Gruia-Catalin Roman , Chenyang Lu, Agilla: A mobile agent middleware for self-adaptive wireless sensor networks, ACM Transactions on Autonomous and Adaptive Systems (TAAS), v.4 n.3, p.1-26, July 2009
	Gilles Fedak , Haiwu He , Franck Cappello, BitDew: A data management and distribution service with multi-protocol file transfer and metadata abstraction, Journal of Network and Computer Applications, v.32 n.5, p.961-975, September, 2009
	Yue Yu , Shangping Ren , Carolyn Talcott, Coordinating Asynchronous and Open Distributed Systems under Semiring-Based Timing Constraints, Electronic Notes in Theoretical Computer Science (ENTCS), v.229 n.2, p.133-153, July, 2009
	Reto Krummenacher , Elena Simperl , Dario Cerizza , Emanuele Della Valle , Lyndon J. B. Nixon , Doug Foxvog, Enabling the European Patient Summary through triplespaces, Computer Methods and Programs in Biomedicine, v.95 n.2, p.S33-S43, August, 2009
	Martin Lablans , Frank Ückert, Carawan: a clinical documentation system for use in mobile ad-hoc networks, Proceedings of the 2009 International Conference on Wireless Communications and Mobile Computing: Connecting the World Wirelessly, June 21-24, 2009, Leipzig, Germany
	Robert D. Bjornson , Nicholas J. Carriero , Martin H. Schultz , Patrick M. Shields , Stephen B. Weston, NetWorkSpace: a coordination system for high-productivity environments, International Journal of Parallel Programming, v.37 n.1, p.106-125, February 2009
	Fernando Rocha , Sérgio Soares , André Soares , Ricardo Lima, An adaptable framework for distributed and parallel applications, Proceedings of the 8th workshop on Parallel/High-Performance Object-Oriented Scientific Computing, p.1-7, July 07-07, 2009, Genova, Italy
	Agustinus Borgy Waluyo , Isaac Pek , Xiang Chen , Wee-Soon Yeoh, Design and evaluation of lightweight middleware for personal wireless body area network, Personal and Ubiquitous Computing, v.13 n.7, p.509-525, October 2009
	Jinsong Lin , Eusden Shing , Wing-Kai Chan , Rajive Bagrodia, TMACS: type-based distributed middleware for mobile ad-hoc networks, Proceedings of the 5th Annual International Conference on Mobile and Ubiquitous Systems: Computing, Networking, and Services, July 21-25, 2008, Dublin, Ireland

INDEX TERMS

Classification:
C. Computer Systems Organization
C.2 COMPUTER-COMMUNICATION NETWORKS
C.2.1 Network Architecture and Design
Subjects: Network communications
C.2.4 Distributed Systems
Subjects: Distributed applications

D. Software
D.1 PROGRAMMING TECHNIQUES
D.3 PROGRAMMING LANGUAGES
D.3.2 Language Classifications

Nouns: Linda
D.3.3 Language Constructs and Features
Subjects: Concurrent programming structures
D.3.4 Processors
Subjects: Compilers
D.4 OPERATING SYSTEMS
D.4.2 Storage Management
Subjects: Distributed memories
D.4.4 Communications Management
Subjects: Message sending

General Terms:
Design, Languages, Theory

REVIEW

"Jerzy J. A. Klaczak : Reviewer"

There are three separate topics of discussion in this paper: the generative interprocess communication concept, its implementation, and examples of its use. Generative communication is a brand new model; it is the generalization of po more...

Collaborative Colleagues:

David Gelernter: colleagues

Adobe Acrobat

QuickTime

Windows Media Player

Real Player