Programming by multiset transformation

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback
Take a look at the new version of this page: [ beta version ]. Tell us what you think.

Programming by multiset transformation

Full text

Pdf (4.08 MB)

Source

Communications of the ACM archive
Volume 36 , Issue 1 (January 1993) table of contents

Pages: 98 - 111

Year of Publication: 1993

ISSN:0001-0782

Authors

Jean-Pierre Banâtre
Daniel Le Métayer

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 6, Downloads (12 Months): 41, Citation Count: 41

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/151233.151242 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	Jean-Pierre Banâtre , Daniel Le Métayer, The gamma model and its discipline of programming, Science of Computer Programming, v.15 n.1, p.55-77, Nov. 1990 [doi>10.1016/0167-6423(90)90044-E]
	2	J.-P. Banâtre , A. Coutant , D. Le Metayer, A parallel machine for multiset transformation and its programming style, Future Generation Computer Systems, v.4 n.2, p.133-144, Sept. 1988 [doi>10.1016/0167-739X(88)90012-X]
	3	M. Ben-Ari, Principles of concurrent and distributed programming, Prentice-Hall, Inc., Upper Saddle River, NJ, 1990
	4	Gerard Berry , Gerard Boudol, The chemical abstract machine, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.81-94, December 1989, San Francisco, California, United States [doi>10.1145/96709.96717]
	5	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]
	6	K. Mani Chandy, Parallel program design: a foundation, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1988
	7	Creveuil, C. and Moguerou, G. Derivation d'un algorithme de segmentation d'images; Un exemple d'application du formalisme GAMMA INRIA rES. rEP. 1049, 1989. (In French)
	8	Edsger W. Dijkstra, The humble programmer, Communications of the ACM, v.15 n.10, p.859-866, Oct. 1972 [doi>10.1145/355604.361591]
	9	Edsger Wybe Dijkstra, A Discipline of Programming, Prentice Hall PTR, Upper Saddle River, NJ, 1997
	10	Dromey, R.G. Program Derivation.Addison-Wesley, Reading, Mass,. 1989.
	11	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]
	12	David Gries, The Science of Programming, Springer-Verlag New York, Inc., Secaucus, NJ, 1987
	13	D. Gries, A hands-in-the pocket presentation of a k-majority vote algorithm, Formal development programs and proofs, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1989
	14	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]
	15	Donald E. Knuth, The art of computer programming, volume 2 (3rd ed.): seminumerical algorithms, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1997
	16	N. J. Nilsson, Principles of artificial intelligence, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1980
	17	Martin Rem, Associons: A Program Notation with Tuples Instead of Variables, ACM Transactions on Programming Languages and Systems (TOPLAS), v.3 n.3, p.251-262, July 1981 [doi>10.1145/357139.357142]
	18	Robert Sedgewick, Algorithms, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1984
	19	Jean Serra, Image Analysis and Mathematical Morphology, Academic Press, Inc., Orlando, FL, 1983

CITED BY 41

	Pascal Fradet , Daniel Le Métayer, Shape types, Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.27-39, January 15-17, 1997, Paris, France
	Paola Inverardi , Alexander L. Wolf, Formal Specification and Analysis of Software Architectures Using the Chemical Abstract Machine Model, IEEE Transactions on Software Engineering, v.21 n.4, p.373-386, April 1995
	Koen De Bosschere , Jean-Marie Jacquet, Synchronous coordination in the μLog coordination model, Proceedings of the 2001 ACM symposium on Applied computing, p.151-158, March 2001, Las Vegas, Nevada, United States
	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
	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
	P. Ciancarini , D. Rossi, Coordinating distributed applets with Shade/Java, Proceedings of the 1998 ACM symposium on Applied Computing, p.130-138, February 27-March 01, 1998, Atlanta, Georgia, United States
	Daniel Le Métayer, Software architecture styles as graph grammars, ACM SIGSOFT Software Engineering Notes, v.21 n.6, p.15-23, Nov. 1996
	Agostino Dovier , Carla Piazza , Enrico Pontelli , Gianfranco Rossi, Sets and constraint logic programming, ACM Transactions on Programming Languages and Systems (TOPLAS), v.22 n.5, p.861-931, Sept. 2000
	Paola Inverardi , Alexander L. Wolf , Daniel Yankelevich, Static checking of system behaviors using derived component assumptions, ACM Transactions on Software Engineering and Methodology (TOSEM), v.9 n.3, p.239-272, July 2000
	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
	Antónia Lopes , Michel Wermelinger , José Luiz Fiadeiro, Higher-order architectural connectors, ACM Transactions on Software Engineering and Methodology (TOSEM), v.12 n.1, p.64-104, January 2003
	Nancy Durgin , Patrick Lincoln , John Mitchell , Andre Scedrov, Multiset rewriting and the complexity of bounded security protocols, Journal of Computer Security, v.12 n.2, p.247-311, May 2004
	Owen Kaser, Optimal height reduction problems for tree-structured hierarchies, Nordic Journal of Computing, v.4 n.4, p.357-379, Winter 1997
	E. V. Krishnamurthy , V. K. Murthy , Vikram Krishnamurthy, Biologically inspired rule-based multiset programming paradigm for soft-computing, Proceedings of the 1st conference on Computing frontiers, April 14-16, 2004, Ischia, Italy
	Daniel Le Métayer, Describing Software Architecture Styles Using Graph Grammars, IEEE Transactions on Software Engineering, v.24 n.7, p.521-533, July 1998
	Michael Cebulla, Knowledge-based assessment of behavior in dynamic environments, Proceedings of the 2005 ACM workshop on Research in knowledge representation for autonomous systems, p.17-26, November 04-04, 2005, Bremen, Germany
	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
	Sven Hartmann , Sebastian Link , Klaus-Dieter Schewe, Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets, Theoretical Computer Science, v.355 n.2, p.167-196, 11 April 2006
	I. Linden , J.-M. Jacquet , K. De Bosschere , A. Brogi, On the expressiveness of timed coordination models, Science of Computer Programming, v.61 n.2, p.152-187, July 2006
	P. Ciancarini , D. Rossi, Coordinating distributed applets with Shade, ACM SIGAPP Applied Computing Review, v.6 n.1, p.2-12, April 1998
	Oliver Krone , Fabrice Chantemargue , Thierry Dagaeff , Michael Schumacher, Coordinating autonomous entities with STL, ACM SIGAPP Applied Computing Review, v.6 n.2, p.18-32, Sept. 1998
	Jean-Pierre Banâtre , Pascal Fradet , Yann Radenac, Towards chemical coordination for grids, Proceedings of the 2006 ACM symposium on Applied computing, April 23-27, 2006, Dijon, France
	Sven Hartmann , Sebastian Link, Deciding implication for functional dependencies in complex-value databases, Theoretical Computer Science, v.364 n.2, p.212-240, 6 November 2006
	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
	Iliano Cervesato , Andre Scedrov, Relating State-Based and Process-Based Concurrency through Linear Logic, Electronic Notes in Theoretical Computer Science (ENTCS), 165, p.145-176, November, 2006
	Isabelle Linden , Jean-Marie Jacquet, On the Expressiveness of Timed Coordination via Shared Dataspaces, Electronic Notes in Theoretical Computer Science (ENTCS), v.180 n.2, p.71-89, June, 2007
	Mirko Viroli , Andrea Omicini, Coordination as a Service, Fundamenta Informaticae, v.73 n.4, p.507-534, December 2006
	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
	Daniel E. Cooke , David Dampier, A real-time version of SequenceL, Annals of Software Engineering, v.7 n.1-4, p.157-176, 1999
	Hong Lin , Chunsheng Yang, Specifying distributed multi-agent systems in chemical reaction metaphor, Applied Intelligence, v.24 n.2, p.155-168, April 2006
	J.-P. Banâtre , P. Fradet , Y. Radenac, Generalised multisets for chemical programming, Mathematical Structures in Computer Science, v.16 n.4, p.557-580, August 2006
	Puri Arenas-Sánchez , Mario Rodríguez-Artalejo, A general framework for lazy functional logic programming with algebraic polymorphic types, Theory and Practice of Logic Programming, v.1 n.2, p.185-245, March 2001
	Lukasz Ziarek , Suresh Jagannathan , Matthew Fluet , Umut A. Acar, Speculative N-Way barriers, Proceedings of the 4th workshop on Declarative aspects of multicore programming, January 20-20, 2009, Savannah, GA, USA
	Agostino Dovier , Carla Piazza , Gianfranco Rossi, A uniform approach to constraint-solving for lists, multisets, compact lists, and sets, ACM Transactions on Computational Logic (TOCL), v.9 n.3, p.1-30, June 2008
	Daniel E. Cooke , J. Nelson Rushton , Brad Nemanich , Robert G. Watson , Per Andersen, Normalize, transpose, and distribute: An automatic approach for handling nonscalars, ACM Transactions on Programming Languages and Systems (TOPLAS), v.30 n.2, p.1-49, March 2008
	Kazuto Tominaga , Yoshikazu Suzuki , Keiji Kobayashi , Tooru Watanabe , Kazumasa Koizumi , Koji Kishi, Modeling biochemical pathways using an artificial chemistry, Artificial Life, v.15 n.1, p.115-129, Winter 2009
	Lubomir F. Bic , Michael B. Dillencourt, Mobile agents, DSM, coordination, and self-migrating threads: a Common Framework, Proceedings of the 7th conference on Data networks, communications, computers, p.105-110, November 07-09, 2008, Bucharest, Romania
	Dale Miller, Formalizing Operational Semantic Specifications in Logic, Electronic Notes in Theoretical Computer Science (ENTCS), 246, p.147-165, August, 2009
	Iliano Cervesato , Andre Scedrov, Relating state-based and process-based concurrency through linear logic (full-version), Information and Computation, v.207 n.10, p.1044-1077, October, 2009
	Kazunori Ueda, LMNtal as a hierarchical logic programming language, Theoretical Computer Science, v.410 n.46, p.4784-4800, November, 2009
	Mikhail Auguston, Software architecture built from behavior models, ACM SIGSOFT Software Engineering Notes, v.34 n.5, September 2009