{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T22:43:19Z","timestamp":1742942599990,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":50,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540894360"},{"type":"electronic","value":"9783540894377"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-89437-7_14","type":"book-chapter","created":{"date-parts":[[2008,11,10]],"date-time":"2008-11-10T13:46:17Z","timestamp":1226324777000},"page":"209-234","source":"Crossref","is-referenced-by-count":2,"title":["The Chemical Reaction Model Recent Developments and Prospects"],"prefix":"10.1007","author":[{"given":"Jean-Pierre","family":"Ban\u00e2tre","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pascal","family":"Fradet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yann","family":"Radenac","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"Papazoglou, M.P., Georgakopoulos, D.: Service-oriented computing. Communications of the ACM\u00a046(10) (2003)","DOI":"10.1145\/944217.944233"},{"key":"14_CR2","unstructured":"Plummer, D.C., Cearley, D.W., Smith, D.M.: Cloud computing confusion leads to opportunity (June 2008), http:\/\/www.gartner.com\/it\/products\/research\/cloud_computing\/cloud_computing.jsp"},{"key":"14_CR3","unstructured":"Ban\u00e2tre, J.P., Fradet, P., Radenac, Y.: Chemical specification of autonomic systems. In: Proc. of the 13th Int. Conf. on Intelligent and Adaptive Systems and Software Engineering (IASSE 2004) (2004)"},{"key":"14_CR4","volume-title":"Proceedings of the 3rd IEEE International Conference on e-Science and Grid Computing (e-Science 2007)","author":"J.P. Ban\u00e2tre","year":"2007","unstructured":"Ban\u00e2tre, J.P., Le Scouarnec, N., Priol, T., Radenac, Y.: Towards \u201cchemical\u201d desktop grids. In: Proceedings of the 3rd IEEE International Conference on e-Science and Grid Computing (e-Science 2007). IEEE Computer Society Press, Los Alamitos (2007)"},{"key":"14_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87785-1_8","volume-title":"Software Technologies for Embedded and Ubiquitous Systems","author":"J.P. Ban\u00e2tre","year":"2008","unstructured":"Ban\u00e2tre, J.P., Priol, T., Radenac, Y.: Service orchestration using the chemical metaphor. In: Brinkschulte, U., Givargis, T., Russo, S. (eds.) SEUS 2008. LNCS, vol.\u00a05287. Springer, Heidelberg (2008)"},{"issue":"1","key":"14_CR6","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1145\/151233.151242","volume":"36","author":"J.P. Ban\u00e2tre","year":"1993","unstructured":"Ban\u00e2tre, J.P., Le M\u00e9tayer, D.: Programming by multiset transformation. Communications of the ACM (CACM)\u00a036(1), 98\u2013111 (1993)","journal-title":"Communications of the ACM (CACM)"},{"key":"14_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/3-540-45523-X_2","volume-title":"Multiset Processing","author":"J.P. Ban\u00e2tre","year":"2001","unstructured":"Ban\u00e2tre, J.P., Fradet, P., Le M\u00e9tayer, D.: Gamma and the chemical reaction model: Fifteen years after. In: Calude, C.S., Pun, G., Rozenberg, G., Salomaa, A. (eds.) Multiset Processing. LNCS, vol.\u00a02235, pp. 17\u201344. Springer, Heidelberg (2001)"},{"key":"14_CR8","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1016\/0001-8708(92)90011-9","volume":"91","author":"D. Loeb","year":"1992","unstructured":"Loeb, D.: Sets with a negative number of elements. Advances in Mathematics\u00a091, 64\u201374 (1992)","journal-title":"Advances in Mathematics"},{"key":"14_CR9","unstructured":"Ban\u00e2tre, J.P., Le M\u00e9tayer, D.: A new computational model and its discipline of programming. Technical Report RR0566, INRIA (September 1986)"},{"key":"14_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1007\/3-540-56891-3_29","volume-title":"PARLE \u201993 Parallel Architectures and Languages Europe","author":"C. Hankin","year":"1993","unstructured":"Hankin, C., Le M\u00e9tayer, D., Sands, D.: A parallel programming style and its algebra of programs. In: Reeve, M., Bode, A., Wolf, G. (eds.) PARLE 1993. LNCS, vol.\u00a0694, pp. 367\u2013378. Springer, Heidelberg (1993)"},{"issue":"2","key":"14_CR11","first-page":"125","volume":"10","author":"C. Creveuil","year":"1991","unstructured":"Creveuil, C., Mogu\u00e9rou, G.: D\u00e9veloppement syst\u00e9matique d\u2019un algorithme de segmentation d\u2019images \u00e0 l\u2019aide de Gamma. Techniques et Sciences Informatiques\u00a010(2), 125\u2013137 (1991)","journal-title":"Techniques et Sciences Informatiques"},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"McEvoy, H.: Gamma, chromatic typing and vegetation, pp. 368\u2013387 (1996)","DOI":"10.1142\/9781848161023_0015"},{"key":"14_CR13","unstructured":"Ruiz Barradas, H.: Une approche \u00e0 la d\u00e9rivation formelle de syst\u00e8mes en Gamma. PhD thesis, Universit\u00e9 de Rennes\u00a01, France (July 1993)"},{"issue":"2","key":"14_CR14","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1016\/0167-739X(88)90012-X","volume":"4","author":"J.P. Ban\u00e2tre","year":"1988","unstructured":"Ban\u00e2tre, J.P., Coutant, A., Le M\u00e9tayer, D.: A parallel machine for multiset transformation and its programming style. Future Gener. Comput. Syst.\u00a04(2), 133\u2013144 (1988)","journal-title":"Future Gener. Comput. Syst."},{"key":"14_CR15","doi-asserted-by":"crossref","unstructured":"Ban\u00e2tre, J.P., Coutant, A., Le M\u00e9tayer, D.: Parallel machines for multiset transformation and their programming style (1988)","DOI":"10.1016\/0167-739X(88)90012-X"},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"Creveuil, C.: Implementation of gamma on the connection machine. In: Research Directions in High-Level Parallel Programming Languages, pp. 219\u2013230 (1991)","DOI":"10.1007\/3-540-55160-3_47"},{"key":"14_CR17","unstructured":"Huan, L.P., Ng, K.W., Sun, Y.Q.: Implementing gamma on maspar mp-1, pp. 94\u201399 (1995)"},{"key":"14_CR18","doi-asserted-by":"crossref","unstructured":"Gladitz, K., Kuchen, H.: Parallel implementation of the gamma-operation on bags. In: Proc. of the PASCO (Parallel Symbolic Computation) conference, pp. 154\u2013163 (1994)","DOI":"10.1145\/165180.165226"},{"key":"14_CR19","first-page":"567","volume":"14","author":"M. Vieillot","year":"1995","unstructured":"Vieillot, M.: Synth\u00e8se de programmes Gamma en logique reconfigurable. Techniques et Sciences Informatiques\u00a014, 567\u2013584 (1995)","journal-title":"Techniques et Sciences Informatiques"},{"key":"14_CR20","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1007\/3-540-57502-2_57","volume-title":"Proc. of the 5th International Workshop on Languages and Compilers for Parallel Computing","author":"C. Hankin","year":"1993","unstructured":"Hankin, C., Le M\u00e9tayer, D., Sands, D.: A calculus of gamma programs. In: Proc. of the 5th International Workshop on Languages and Compilers for Parallel Computing, pp. 342\u2013355. Springer, Heidelberg (1993)"},{"key":"14_CR21","doi-asserted-by":"crossref","unstructured":"Le M\u00e9tayer, D.: Higher-order multiset programming. In: Proc. of the DIMACS workshop on specifications of parallel algorithms. Dimacs Series in Discrete Mathematics, vol.\u00a018 (1994)","DOI":"10.1090\/dimacs\/018\/13"},{"issue":"2\u20133","key":"14_CR22","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/S0167-6423(97)00023-3","volume":"31","author":"P. Fradet","year":"1998","unstructured":"Fradet, P., Le M\u00e9tayer, D.: Structured gamma. Science of Computer Programming\u00a031(2\u20133), 263\u2013289 (1998)","journal-title":"Science of Computer Programming"},{"issue":"8","key":"14_CR23","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1145\/359138.359142","volume":"22","author":"N. Dershowitz","year":"1979","unstructured":"Dershowitz, N., Manna, Z.: Proving termination with multiset orderings. Communications of the ACM\u00a022(8), 465\u2013476 (1979)","journal-title":"Communications of the ACM"},{"issue":"1","key":"14_CR24","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/0167-6423(90)90044-E","volume":"15","author":"J.P. Ban\u00e2tre","year":"1990","unstructured":"Ban\u00e2tre, J.P., Le M\u00e9tayer, D.: The gamma model and its discipline of programming. Science of Computer Programming\u00a015(1), 55\u201377 (1990)","journal-title":"Science of Computer Programming"},{"key":"14_CR25","unstructured":"Creveuil, C.: Techniques d\u2019analyse et de mise en \u0153uvre des programmes Gamma. PhD thesis, Universit\u00e9 de Rennes\u00a01, France (December 1991)"},{"key":"14_CR26","doi-asserted-by":"crossref","unstructured":"Chaudron, M.R.V., de Jong, E.D.: Towards a compositional method for coordinating gamma programs. In: COORDINATION, pp. 107\u2013123 (1996)","DOI":"10.1007\/3-540-61052-9_42"},{"key":"14_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1007\/BFb0026830","volume-title":"Programming Languages: Implementations, Logics and Programs","author":"H. McEvoy","year":"1995","unstructured":"McEvoy, H., Hartel, P.H.: Local linear logic for locality consciousness in multiset transformation. In: Swierstra, S.D. (ed.) PLILP 1995. LNCS, vol.\u00a0982, pp. 357\u2013379. Springer, Heidelberg (1995)"},{"key":"14_CR28","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0304-3975(92)90185-I","volume":"96","author":"G. Berry","year":"1992","unstructured":"Berry, G., Boudol, G.: The chemical abstract machine. Theoretical Computer Science\u00a096, 217\u2013248 (1992)","journal-title":"Theoretical Computer Science"},{"key":"14_CR29","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/3-540-58043-3_18","volume-title":"A Decade of Concurrency, Reflections and Perspectives, REX School\/Symposium","author":"G. Boudol","year":"1994","unstructured":"Boudol, G.: Some chemical abstract machines. In: A Decade of Concurrency, Reflections and Perspectives, REX School\/Symposium, London, UK, pp. 92\u2013123. Springer, Heidelberg (1994)"},{"key":"14_CR30","first-page":"27","volume-title":"POPL 1997: Proc. of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages","author":"P. Fradet","year":"1997","unstructured":"Fradet, P., Le M\u00e9tayer, D.: k Shape types. In: POPL 1997: Proc. of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 27\u201339. ACM, New York (1997)"},{"issue":"4","key":"14_CR31","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1109\/32.385973","volume":"21","author":"P. Inverardi","year":"1995","unstructured":"Inverardi, P., Wolf, A.L.: Formal specification and analysis of software architectures using the chemical abstract machine model. IEEE Trans. Softw. Eng.\u00a021(4), 373\u2013386 (1995)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"7","key":"14_CR32","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1109\/32.708567","volume":"24","author":"D. Le M\u00e9tayer","year":"1998","unstructured":"Le M\u00e9tayer, D.: Describing software architecture styles using graph grammars. IEEE Trans. Softw. Eng.\u00a024(7), 521\u2013533 (1998)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"14_CR33","doi-asserted-by":"crossref","unstructured":"Hoffmann, B.: Shapely hierarchical graph transformation. In: HCC, pp. 30\u201337 (2001)","DOI":"10.1109\/HCC.2001.995230"},{"key":"14_CR34","doi-asserted-by":"crossref","unstructured":"Mentr\u00e9, D., M\u00e9tayer, D.L., Priol, T.: Formalization and verification of coherence protocols with the gamma framework. In: PDSE, pp. 105\u2013113 (2000)","DOI":"10.1109\/PDSE.2000.847855"},{"key":"14_CR35","doi-asserted-by":"crossref","unstructured":"Ciancarini, P., Fogli, D., Gaspari, M.: A logic language based on gamma-like multiset rewriting. In: ELP, pp. 83\u2013101 (1996)","DOI":"10.1007\/3-540-60983-0_6"},{"key":"14_CR36","series-title":"ENTCS","first-page":"133","volume-title":"Proceedings of the 5th International Workshop on Rule-Based Programming (RULE 2004)","author":"J.P. Ban\u00e2tre","year":"2005","unstructured":"Ban\u00e2tre, J.P., Fradet, P., Radenac, Y.: Principles of chemical programming. In: Abdennadher, S., Ringeissen, C. (eds.) Proceedings of the 5th International Workshop on Rule-Based Programming (RULE 2004). ENTCS, vol.\u00a0124, pp. 133\u2013147. Elsevier, Amsterdam (2005)"},{"issue":"1","key":"14_CR37","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1006\/jcss.1999.1693","volume":"61","author":"G. P\u0103un","year":"2000","unstructured":"P\u0103un, G.: Computing with membranes. Journal of Computer and System Sciences\u00a061(1), 108\u2013143 (2000)","journal-title":"Journal of Computer and System Sciences"},{"key":"14_CR38","unstructured":"Chaudron, M.: Schedules for multiset transformer programs. Technical Report tr94-36, Rijksuniversiteit Leiden (December 1994)"},{"issue":"3","key":"14_CR39","doi-asserted-by":"publisher","first-page":"346","DOI":"10.1305\/ndjfl\/1093635499","volume":"31","author":"W. Blizard","year":"1990","unstructured":"Blizard, W.: Negative membership. Notre Dame Journal of Formal Logic\u00a031(3), 346\u2013368 (Summer 1990)","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"4","key":"14_CR40","doi-asserted-by":"publisher","first-page":"557","DOI":"10.1017\/S0960129506005317","volume":"16","author":"J.P. Ban\u00e2tre","year":"2006","unstructured":"Ban\u00e2tre, J.P., Fradet, P., Radenac, Y.: Generalised multisets for chemical programming. Mathematical Structures in Computer Science\u00a016(4), 557\u2013580 (2006)","journal-title":"Mathematical Structures in Computer Science"},{"key":"14_CR41","volume-title":"From semantics to computer science: essays in honor of Gilles Kahn","author":"J.P. Ban\u00e2tre","year":"2008","unstructured":"Ban\u00e2tre, J.P., Fradet, P., Radenac, Y.: Classical coordination mechanisms in the chemical model. In: From semantics to computer science: essays in honor of Gilles Kahn. Cambridge University Press, Cambridge (2008)"},{"key":"14_CR42","unstructured":"Gries, D.: The maximum-segment-sum problem. Formal development programs and proofs, 33\u201336 (1990)"},{"issue":"4","key":"14_CR43","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1016\/S1571-0661(04)00293-2","volume":"59","author":"J.L. Giavitto","year":"2001","unstructured":"Giavitto, J.L., Michel, O.: MGS: a rule-based programming language for complex objects and collections. Electronic Notes in Theoretical Computer Science\u00a059(4), 286\u2013304 (2001)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"14_CR44","doi-asserted-by":"crossref","unstructured":"Giavitto, J.L., Michel, O.: Data structure as topological spaces. In: UMC, pp. 137\u2013150 (2002)","DOI":"10.1007\/3-540-45833-6_12"},{"issue":"2","key":"14_CR45","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1016\/S0304-3975(01)00358-9","volume":"285","author":"P. Borovansk\u00fd","year":"2002","unstructured":"Borovansk\u00fd, P., Kirchner, C., Kirchner, H., Moreau, P.E.: Elan from a rewriting logic point of view. Theor. Comput. Sci.\u00a0285(2), 155\u2013185 (2002)","journal-title":"Theor. Comput. Sci."},{"key":"14_CR46","series-title":"Lecture Notes in Computer Science","volume-title":"ECOOP \u201997 - Object-Oriented Programming","author":"G. Kiczales","year":"1997","unstructured":"Kiczales, G., Lamping, J., Menhdhekar, A., Maeda, C., Lopes, C., Loingtier, J.M., Irwin, J.: Aspect-oriented programming. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol.\u00a01241. Springer, Heidelberg (1997)"},{"issue":"3","key":"14_CR47","first-page":"161","volume":"3","author":"J.P. Ban\u00e2tre","year":"2007","unstructured":"Ban\u00e2tre, J.P., Fradet, P., Radenac, Y.: Programming self-organizing systems with the higher-order chemical language. International Journal of Unconventional Computing\u00a03(3), 161\u2013177 (2007)","journal-title":"International Journal of Unconventional Computing"},{"key":"14_CR48","doi-asserted-by":"crossref","unstructured":"N\u00e9meth, Z., P\u00e9rez, C., Priol, T.: Workflow enactment based on a chemical metaphor. In: SEFM 2005: Proc. of the Third IEEE International Conference on Software Engineering and Formal Methods, pp. 127\u2013136 (September 2005)","DOI":"10.1109\/SEFM.2005.55"},{"key":"14_CR49","first-page":"241","volume-title":"The 9th International Workshop on Nature Inspired Distributed Computing","author":"Z. N\u00e9meth","year":"2006","unstructured":"N\u00e9meth, Z., P\u00e9rez, C., Priol, T.: Distributed workflow coordination: Molecules and reactions. In: The 9th International Workshop on Nature Inspired Distributed Computing, p. 241. IEEE, Los Alamitos (2006)"},{"issue":"3","key":"14_CR50","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1109\/TSMCA.2005.846396","volume":"35","author":"A. Chakravarti","year":"2005","unstructured":"Chakravarti, A., Baumgartner, G., Lauria, M.: The organic grid: self-organizing computation on a peer-to-peer network. IEEE Transactions on Systems, Man and Cybernetics, Part A\u00a035(3), 373\u2013384 (2005)","journal-title":"IEEE Transactions on Systems, Man and Cybernetics, Part A"}],"container-title":["Lecture Notes in Computer Science","Software-Intensive Systems and New Computing Paradigms"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-89437-7_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,2]],"date-time":"2025-02-02T16:22:15Z","timestamp":1738513335000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-89437-7_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540894360","9783540894377"],"references-count":50,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-89437-7_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}