{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T00:10:08Z","timestamp":1742602208054,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540625032"},{"type":"electronic","value":"9783540680529"}],"license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"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":[[1997]]},"DOI":"10.1007\/3-540-62503-8_7","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:40:21Z","timestamp":1330296021000},"page":"126-140","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Type checking for a multiset rewriting language"],"prefix":"10.1007","author":[{"given":"Pascal","family":"Fadet","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dniel","family":"le M'etayer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"7_CR1","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":"J.-P. Ban\u00e2tre 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":"7_CR2","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1145\/151233.151242","volume":"36-1","author":"J.-P. Ban\u00e2tre","year":"1993","unstructured":"J.-P. Ban\u00e2tre 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":"7_CR3","doi-asserted-by":"crossref","unstructured":"J.-P. Ban\u00e2tre and D. Le M\u00e9tayer. Gamma and the chemical reaction model: ten years after, Coordination programming: mechanisms, models and semantics, Imperial College Press, 1996.","DOI":"10.1142\/9781848161023_0001"},{"key":"7_CR4","doi-asserted-by":"crossref","first-page":"444","DOI":"10.1145\/63334.63337","volume":"32-4","author":"N. Carriero","year":"1989","unstructured":"N. Carriero and D. Gelernter, Linda in context, Communications of the ACM, Vol. 32-4, pp. 444\u2013458, April 1989.","journal-title":"Communications of the ACM"},{"key":"7_CR5","unstructured":"C. Creveuil. Techniques d'analyse et de mise en \u0153uvre des programmes Gamma, Thesis, University of Rennes I, 1991."},{"key":"7_CR6","unstructured":"P. Fradet and D. Le M\u00e9tayer, Structured Gamma, Irisa Research Report PI-989, March 1996."},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"P. Fradet and D. Le M\u00e9tayer, Shape types, In Proc. of the 24rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, January 1997.","DOI":"10.1145\/263699.263706"},{"key":"7_CR8","unstructured":"D. Garlan and D. Perry, Editor's Introduction, IEEE Transactions on Software Engineering, Special Issue on Software Architectures, 1995."},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"A. A. Holzbacher, A software environment for concurrent coordinated programming, Proc. First int. Conf. on Coordination Models, Languages and Applications, Springer Verlag, LNCS 1061, pp. 249\u2013266, April 1996.","DOI":"10.1007\/3-540-61052-9_50"},{"issue":"No.4","key":"7_CR10","doi-asserted-by":"crossref","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":"7_CR11","doi-asserted-by":"crossref","unstructured":"N. Klarlund and M. Schwartzbach. Graph types. In Proc. 20th Symp. on Princ. of Prog. Lang., pp. 196\u2013205. ACM, 1993.","DOI":"10.1145\/158511.158628"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"J. Kramer, Configuration programming. A framework for the development of distributable systems, Proc. COMPEURO'90, IEEE, pp. 374\u2013384, 1990.","DOI":"10.1109\/CMPEUR.1990.113648"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"D. Le M\u00e9tayer, Software architecture styles as graph grammars, in Proc. of the ACM SIGSOFT'96 4th Symposium on the Foundations of Software Engineering, 1996, pp. 15\u201323.","DOI":"10.1145\/239098.239105"}],"container-title":["Lecture Notes in Computer Science","Analysis and Verification of Multiple-Agent Languages"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-62503-8_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T23:29:31Z","timestamp":1742599771000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-62503-8_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540625032","9783540680529"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-62503-8_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]},"assertion":[{"value":"3 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}