{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,27]],"date-time":"2023-01-27T05:57:05Z","timestamp":1674799025353},"publisher-location":"Berlin, Heidelberg","reference-count":61,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540430636","type":"print"},{"value":"9783540455233","type":"electronic"}],"license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45523-x_2","type":"book-chapter","created":{"date-parts":[[2007,5,16]],"date-time":"2007-05-16T02:15:24Z","timestamp":1179281724000},"page":"17-44","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":40,"title":["Gamma and the Chemical Reaction Model: Fifteen Years After"],"prefix":"10.1007","author":[{"given":"Jean-Pierre","family":"Ban\u0103tre","sequence":"first","affiliation":[]},{"given":"Pascal","family":"Fradet","sequence":"additional","affiliation":[]},{"given":"Daniel","family":"Le M\u00e9tayer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,12,20]]},"reference":[{"key":"2_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(93)90181-R","volume":"111","author":"S. Abramsky","year":"1993","unstructured":"S. Abramsky, Computational interpretations of linear logic, Theoretical Computer Science, Vol. 111, pp. 3\u201357, 1993.","journal-title":"Theoretical Computer Science"},{"key":"2_CR2","unstructured":"R. Allen and D. Garlan, Formalising architectural connection, Proceedings of the IEEE 16th International Conference on Software Engineering, pp. 71\u201380, 1994."},{"key":"2_CR3","doi-asserted-by":"crossref","first-page":"445","DOI":"10.1007\/BF03037173","volume":"9","author":"J.-M. Andreoli","year":"1991","unstructured":"J.-M. Andreoli and R. Pareschi, Linear Objects: logical processes with bui lt-ininheritence, New Generation Computing, Vol. 9, pp. 445\u2013473, 1991.","journal-title":"New Generation Computing"},{"key":"2_CR4","unstructured":"J.-M. Andreoli, P. Ciancarini and R. Pareschi, Interaction abstract machines, in Proc. of the workshop Research Directions in Concurrent Object Oriented Programming, 1992."},{"key":"2_CR5","series-title":"Lect Notes Comput Sci","volume-title":"Refinement calculus, part II: parallel and reactive programs","author":"R. Back","year":"1990","unstructured":"R. Back, Refinement calculus, part II: parallel and reactive programs, in Proc. of the workshop on Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness, 1989, Springer Verlag, LNCS 430."},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"J.-P. Ban\u0103tre, A. Coutant and D. Le M\u00e9tayer, A parallel machine for multiset transformation and its programming style, Future Generation Computer Systems, pp. 133\u2013144, 1988.","DOI":"10.1016\/0167-739X(88)90012-X"},{"key":"2_CR7","first-page":"99","volume":"2\/88","author":"J.-P. Ban\u0103tre","year":"1988","unstructured":"J.-P. Ban\u0103tre, A. Coutant and D. Le M\u00e9tayer, Parallel machines for multiset transformation and their programming style, Informationstechnik, Oldenburg Verlag, Vol. 2\/88, pp. 99\u2013109, 1988.","journal-title":"Informationstechnik"},{"key":"2_CR8","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/0167-6423(90)90044-E","volume":"15","author":"J.-P. Ban\u0103tre","year":"1990","unstructured":"J.-P. Ban\u0103tre and D. Le M\u00e9tayer, The Gamma model and its discipline of programming, Science of Computer Programming, Vol. 15, pp. 55\u201377, 1990.","journal-title":"Science of Computer Programming"},{"key":"2_CR9","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1145\/151233.151242","volume":"36-1","author":"J.-P. Ban\u0103tre","year":"1993","unstructured":"J.-P. Ban\u0103tre and D. Le M\u00e9tayer, Programming by multiset transformation, Communications of the ACM, Vol. 36-1, pp. 98\u2013111, January 1993.","journal-title":"Communications of the ACM"},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"J.-P. Ban\u0103tre and D. Le M\u00e9tayer, Gamma and the chemical reaction model: ten years after, in Coordination Programming: Mechanisms, Models and Semantics, Imperial College Press, 1996.","DOI":"10.1142\/9781848161023_0001"},{"key":"2_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1007\/3-540-56731-3_12","volume-title":"Programmable active memories: a performance assessment","author":"P. Bertin","year":"1993","unstructured":"P. Bertin, D. Roncin and J. Vuillemin, Programmable active memories: a performance assessment, in Proc. of the workshop on Parallel architectures and their efficient use, 1992, Springer Verlag, LNCS, pp. 119\u2013130."},{"key":"2_CR12","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0304-3975(92)90185-I","volume":"96","author":"G. Berry","year":"1992","unstructured":"G. Berry and G. Boudol, The chemical abstract machine, Theoretical Computer Science, Vol. 96, pp. 217\u2013248, 1992.","journal-title":"Theoretical Computer Science"},{"key":"2_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1007\/3-540-58043-3_18","volume-title":"Some chemical abstract machines","author":"G. Boudol","year":"1994","unstructured":"G. Boudol, Some chemical abstract machines, in Proc. of the workshop on A decade of concurrency, 1994, Springer Verlag, LNCS 803, pp. 92\u2013123."},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Chandy M. and Misra J., Parallel program design: a foundation, Addison-Wesley, 1988.","DOI":"10.1007\/978-1-4613-9668-0_6"},{"key":"2_CR15","doi-asserted-by":"publisher","first-page":"444","DOI":"10.1145\/63334.63337","volume":"32-24","author":"N. Carriero","year":"1989","unstructured":"N. Carriero and D. Gelernter, Linda in context, Communications of the ACM, Vol. 32-24, pp. 444\u2013458, April 1989.","journal-title":"Communications of the ACM"},{"key":"2_CR16","unstructured":"T. H. Cormen, C. E. Leiserson and R. L. Rivest, Introduction to algorithms, MIT Press, 1990."},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"M. Chaudron and E. de Jong, Schedules for multiset transformer programs, in Coordination Programming: Mechanisms, Models and Semantics, Imperial College Press, 1996.","DOI":"10.1142\/9781848161023_0007"},{"key":"2_CR18","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/3-540-61052-9_42","volume-title":"Towards a compositional method for coordinating Gamma programs","author":"M. Chaudron","year":"1996","unstructured":"M. Chaudron and E. de Jong, Towards a compositional method for coordinating Gamma programs, in Proc. Coordination\u201996 Conference, Lecture Notes in Computer Science, Vol. 1061, pp. 107\u2013123, 1996."},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"P. Ciancarini, D. Fogli and M. Gaspari, A logic language based on multiset rewriting, in Coordination Programming: Mechanisms, Models and Semantics, Imperial College Press, 1996.","DOI":"10.1007\/3-540-60983-0_6"},{"key":"2_CR20","unstructured":"P. Ciancarini, R. Gorrieri and G. Zavattaro, An alternate semantics for the calculus of Gamma programs, in Coordination Programming: Mechanisms, Models and Semantics, Imperial College Press, 1996."},{"key":"2_CR21","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1007\/3-540-61052-9_43","volume-title":"Introducing a calculus for higher-order multiset programming","author":"D. Cohen","year":"1996","unstructured":"D. Cohen and J. Muylaert-Filho, Introducing a calculus for higher-order multiset programming, in Proc. Coordination\u201996 Conference, Lecture Notes in Computer Science, Vol. 1061, pp. 124\u2013141, 1996."},{"key":"2_CR22","unstructured":"C. Creveuil, Techniques d\u2019analyse et de mise en \u00e6uvre des programmes Gamma, Thesis, University of Rennes, 1991."},{"key":"2_CR23","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/3-540-55160-3_47","volume-title":"Implementation of Gamma on the Connection Machine","author":"C. Creveuil","year":"1992","unstructured":"C. Creveuil, Implementation of Gamma on the Connection Machine, in Proc. of the workshop on Research Directions in High-Level Parallel Programming Languages, Mont-Saint Michel, 1991, Springer Verlag, LNCS 574, pp. 219\u2013230."},{"issue":"2","key":"2_CR24","first-page":"125","volume":"10","author":"C. Creveuil","year":"1991","unstructured":"C. Creveuil and G. Mogu\u00e9rou, D\u2019eveloppement syst\u2019ematique d\u2019un algorithme de segmentation d\u2019images\u2019 a l\u2019aide de Gamma, Techniques et Sciences Informatiques, Vol. 10, No 2, pp. 125\u2013137, 1991.","journal-title":"Techniques et Sciences Informatiques"},{"key":"2_CR25","series-title":"Lect Notes Comput Sci","volume-title":"An industrial case study: a railway control system","author":"E. Jong de","year":"1999","unstructured":"E. de Jong, An industrial case study: a railway control system, Proc. Second int. Conf. on Coordination Models, Languages and Applications, Springer Verlag, LNCS 1282, 1997."},{"key":"2_CR26","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1145\/359138.359142","volume":"22-28","author":"N. Dershowitz","year":"1979","unstructured":"Dershowitz N. and Manna Z., Proving termination with multiset ordering, Communications of the ACM, Vol. 22-28, pp. 465\u2013476, August 1979.","journal-title":"Communications of the ACM"},{"key":"2_CR27","doi-asserted-by":"publisher","first-page":"859","DOI":"10.1145\/355604.361591","volume":"15-10","author":"E. W. Dijkstra","year":"1972","unstructured":"Dijkstra E. W., The humble programmer, Communications of the ACM, Vol. 15-10, pp. 859\u2013866, October 1972.","journal-title":"Communications of the ACM"},{"key":"2_CR28","doi-asserted-by":"crossref","unstructured":"L. Errington, C. Hankin and T. Jensen, A congruence for Gamma programs, in Proc. of WSA conference, 1993.","DOI":"10.1007\/3-540-57264-3_45"},{"key":"2_CR29","unstructured":"W. Fontana, Algorithmic chemistry, Proc. of the workshop on Artificial Life, Santa Fe (New Mexico), Addison-Wesley, 1991, pp. 159\u2013209."},{"key":"2_CR30","doi-asserted-by":"crossref","unstructured":"P. Fradet and D. Le M\u00e9tayer, Shape types, in Proc. of Principles of Programming Languages, POPL\u201997, ACM Press, pp. 27\u201339, 1997.","DOI":"10.1145\/263699.263706"},{"key":"2_CR31","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/S0167-6423(97)00023-3","volume":"31","author":"P. Fradet","year":"1998","unstructured":"P. Fradet and D. Le M\u00e9tayer, Structured Gamma, Science of Computer Programming, 31, pp. 263\u2013289, 1998.","journal-title":"Science of Computer Programming"},{"issue":"1","key":"2_CR32","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1145\/2363.2433","volume":"7","author":"D. Gelernter","year":"1985","unstructured":"Gelernter D., Generative communication in Linda, ACM Transactions on Programming Languages and Systems, Vol. 7,1, pp. 80\u2013112, January 1985.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"2_CR33","unstructured":"K. Gladitz and H. Kuchen, Parallel implementation of the Gamma-operation on bags, Proc. of the PASCO conference, Linz, Austria, 1994."},{"key":"2_CR34","series-title":"Lect Notes Comput Sci","volume-title":"A calculus of Gamma programs","author":"C. Hankin","year":"1993","unstructured":"C. Hankin, D. Le M\u00e9tayer and D. Sands, A calculus of Gamma programs, in Proc. of the 5th workshop on Languages and Compilers for Parallel Computing, Yale, 1992, Springer Verlag, LNCS 757."},{"key":"2_CR35","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1007\/3-540-56891-3_29","volume-title":"A parallel programming style and its algebra of programs","author":"C. Hankin","year":"1993","unstructured":"C. Hankin, D. Le M\u00e9tayer and D. Sands, A parallel programming style and its algebra of programs, in Proc. of the PARLE conference, LNCS 694, pp. 367\u2013378, 1993."},{"key":"2_CR36","unstructured":"B. Hoffmann. Shapely Hierarchical Graph Transformation, Symposium on Visual Languages and Formal Methods (VL FM\u201901) in the IEEE Symposia on Human-Centric Computing Languages and Environments (HCC\u201901), IEEE Press, 2001."},{"key":"2_CR37","series-title":"Lect Notes Comput Sci","volume-title":"Modeling railway control systems using graph grammars: a case study","author":"A. A. Holzbacher","year":"1997","unstructured":"A. A. Holzbacher, M. P\u00e9rin and M. S\u00fcdholt, Modeling railway control systems using graph grammars: a case study, Proc. Second int. Conf. on Coordination Models, Languages and Applications, Springer Verlag, LNCS 1282, 1997."},{"issue":"4","key":"2_CR38","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1109\/32.385973","volume":"21","author":"P. Inverardi","year":"1995","unstructured":"P. Inverardi and A. Wolf, Formal specification and analysis of software architectures using the chemical abstract machine model, IEEE Transactions on Software Engineering, Vol. 21, No. 4, pp. 373\u2013386, April 1995.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"2_CR39","unstructured":"A. Jeffrey, A chemical abstract machine for graph reduction, TR 3\/92, University of Sussex, 1992."},{"key":"2_CR40","doi-asserted-by":"crossref","unstructured":"H. Kuchen and K. Gladitz, Parallel implementation of bags, in Proc. ACM Conf. on Functional Programming and Computer Architecture, ACM, pp. 299\u2013307, 1993.","DOI":"10.1145\/165180.165226"},{"key":"2_CR41","doi-asserted-by":"crossref","unstructured":"D. Le M\u00e9tayer, Higher-order multiset programming, in Proc. of the DIMACS workshop on specifications of parallel algorithms, American Mathematical Society, Dimacs series in Discrete Mathematics, Vol. 18, 1994.","DOI":"10.1090\/dimacs\/018\/13"},{"issue":"7","key":"2_CR42","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1109\/32.708567","volume":"24","author":"D. M\u00e9tayer Le","year":"1998","unstructured":"D. Le M\u00e9tayer, Describing software architecture styles using graph grammars, IEEE Transactions on Software Engineering (TSE), Vol. 24(7), pp. 521\u2013533, 1998.","journal-title":"IEEE Transactions on Software Engineering (TSE)"},{"key":"2_CR43","unstructured":"L. Leth and B. Thomsen, Some Facile chemistry, TR 92\/14, ECRC, 1992."},{"key":"2_CR44","doi-asserted-by":"crossref","unstructured":"K. Li, P. Hudak, Memory Coherence in Shared Virtual Memory Systems, in Proc. of ACM Symposium on Principles of Distributed Computing, pp. 229\u2013239, 1986.","DOI":"10.1145\/10590.10610"},{"key":"2_CR45","unstructured":"Lin Peng Huan, Kam Wing Ng and Yong Qiang Sun, Implementing higher-order Gamma on MasPar: a case study, Journal of Systems Engineering and Electronics, Vol. 16(4), 1995."},{"key":"2_CR46","unstructured":"Lin Peng Huan, Kam Wing Ng and Yong Qiang Sun, Implementing Gamma on MasPar MP-1, Journal of Computer Science and Technology."},{"key":"2_CR47","doi-asserted-by":"crossref","unstructured":"H. McEvoy, Gamma, chromatic typing and vegetation, in Coordination Programming: Mechanisms, Models and Semantics, Imperial College Press, 1996.","DOI":"10.1142\/9781848161023_0015"},{"key":"2_CR48","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1007\/BFb0026830","volume-title":"Local linear logic for locality consciousness in multiset transformation","author":"H. McEvoy","year":"1995","unstructured":"H. McEvoy and P.H. Hartel, Local linear logic for locality consciousness in multiset transformation, Proc. Programming Languages: Implementations, Logics and Programs, PLILP\u201995, LNCS 982, pp. 357\u2013379, 1995."},{"key":"2_CR49","doi-asserted-by":"crossref","unstructured":"D. Mentr\u00e9, D. Le M\u00e9tayer, T. Priol, Formalization and Verification of Coherence Protocols with the Gamma Framework, in Proc. of the 5th Int. Symp. on Software Engineering for Parallel and Distributed Systems (PDSE-2000), ACM, 2000.","DOI":"10.1109\/PDSE.2000.847855"},{"key":"2_CR50","unstructured":"R. Milner, Communication and concurrency, International Series in Computer Science, Prentice Hall, Englewood Clifis, NJ, 1989."},{"key":"2_CR51","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1017\/S0960129500001407","volume":"2","author":"R. Milner","year":"1992","unstructured":"R. Milner, Functions as processes, Mathematical Structures in Computer Science, Vol. 2, pp. 119\u2013141, 1992.","journal-title":"Mathematical Structures in Computer Science"},{"key":"2_CR52","series-title":"Lect Notes Comput Sci","first-page":"203","volume-title":"Parallel programming with bags","author":"L. Mussat","year":"1995","unstructured":"L. Mussat, Parallel programming with bags, in Proc. of the workshop on Research Directions in High-Level Parallel Programming Languages, Mont-Saint Michel, 1991, Springer Verlag, LNCS 574, pp. 203\u2013218."},{"key":"2_CR53","unstructured":"M. P\u00e9rin, Sp\u2019ecifications graphiques multi-vues: formalisation et v\u00ebrification de coh\u00ebrence, PhD thesis, Universit\u2019e de Rennes 1, 2000."},{"issue":"3","key":"2_CR54","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1145\/357139.357142","volume":"3","author":"M. Rem","year":"1981","unstructured":"M. Rem, Associons: a program notation with tuples instead of variables, ACM Trans. on Programming Languages and Systems, Vol. 3,3, pp. 251\u2013261, 1981.","journal-title":"ACM Trans. on Programming Languages and Systems"},{"key":"2_CR55","doi-asserted-by":"crossref","unstructured":"M. Reynolds, Temporal semantics for Gamma, in Coordination Programming: Mechanisms, Models and Semantics, Imperial College Press, 1996.","DOI":"10.1142\/9781848161023_0005"},{"key":"2_CR56","unstructured":"R. Sedgewick, Algorithms in C, Addison-Wesley publishing company, 1990."},{"key":"2_CR57","unstructured":"W.-P. de Roever, Why formal methods are a must for real-time system specification, in Proc. Euromicro\u201992, Panel discussion, June 1992, Athens."},{"key":"2_CR58","unstructured":"H. Ruiz Barradas, Une approche \u00e0 la d\u2019erivation formelle de syst\u00e8mes en Gamma,Thesis, University of Rennes 1, July 1993."},{"key":"2_CR59","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1007\/BFb0039699","volume-title":"A compositional semantics of combining forms for Gamma programs","author":"D. Sands","year":"1993","unstructured":"D. Sands, A compositional semantics of combining forms for Gamma programs, in Proc. of the Formal Methods in Programming and their Applications conference, Novosibirsk, 1993, Springer Verlag, LNCS 735, pp. 43\u201356."},{"key":"2_CR60","doi-asserted-by":"crossref","unstructured":"D. Sands, Composed reduction systems, in Coordination Programming: Mechanisms, Models and Semantics, Imperial College Press, 1996.","DOI":"10.1142\/9781848161023_0008"},{"key":"2_CR61","first-page":"567","volume":"14","author":"L. Aertryck Van","year":"1995","unstructured":"L. Van Aertryck and O. Ridoux, Gammalog as goal-directed proofs, internal report. 62. M. Vieillot, Synth\u00e8se de programmes Gamma en logique reconfigurable, Technique et Science Informatiques, Vol. 14, pp. 567\u2013584, 1995.","journal-title":"Synth\u00e8se de programmes Gamma en logique reconfigurable"}],"container-title":["Lecture Notes in Computer Science","Multiset Processing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45523-X_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T13:16:47Z","timestamp":1558271807000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45523-X_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540430636","9783540455233"],"references-count":61,"URL":"http:\/\/dx.doi.org\/10.1007\/3-540-45523-x_2","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"published":{"date-parts":[[2001]]},"assertion":[{"value":"20 December 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}