{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:20:26Z","timestamp":1725664826005},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540610526"},{"type":"electronic","value":"9783540499367"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61052-9_35","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:12:10Z","timestamp":1330290730000},"page":"1-11","source":"Crossref","is-referenced-by-count":1,"title":["Parallel multiset processing: From explicit coordination to chemical reaction"],"prefix":"10.1007","author":[{"given":"Jean-Pierre","family":"Ban\u00e2tre","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"key":"1_CR1","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1145\/359046.359055","volume":"22-1","author":"J.P. Ban\u00e2tre","year":"1979","unstructured":"J.P. Ban\u00e2tre, J.P. Routeau and L. Trilling. An event-driven compiling technique, Communications of the ACM, Vol. 22-1, P. 34\u201342, January 1979.","journal-title":"Communications of the ACM"},{"key":"1_CR2","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1145\/357121.357123","volume":"3-1","author":"F. Andri","year":"1981","unstructured":"F. Andri, J.P. Ban\u00e2tre and J.P. Routeau. A multiprocessing approach to compile-time symbol resolution, ACM Transactions On Programming Languages And Systems, Vol. 3-1, P. 11\u201323, January 1981.","journal-title":"ACM Transactions On Programming Languages And Systems"},{"key":"1_CR3","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, P. 98\u2013111, January 1993.","journal-title":"Communications of the ACM"},{"key":"1_CR4","doi-asserted-by":"crossref","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, P. 55\u201377, 1990.","journal-title":"Science of Computer Programming"},{"key":"1_CR5","volume-title":"Proceedings of the Coordination'95 workshop","author":"J.P. Ban\u00e2tre","year":"1996","unstructured":"J.P. Ban\u00e2tre and D. Le M\u00e9tayer. Gamma and the chemical reaction model: ten years after. Proceedings of the Coordination'95 workshop, IC-Press, London, 1996."},{"key":"1_CR6","doi-asserted-by":"crossref","first-page":"465","DOI":"10.1145\/359138.359142","volume":"22-8","author":"N. Dershowitz","year":"1979","unstructured":"N. Dershowitz and Z. Manna. Proving termination by multiset ordering. Communications of the ACM, Vol. 22-8, P. 465\u2013476, August 1979.","journal-title":"Communications of the ACM"},{"unstructured":"J.P. Ban\u00e2tre, M. Ban\u00e2tre and P. Quinton. Constructing parallel programs and their termination proofs. Proc. Int. Conf. on Parallel Processing. Bellaire, USA, August 1982.","key":"1_CR7"},{"key":"1_CR8","doi-asserted-by":"crossref","first-page":"613","DOI":"10.1145\/359576.359579","volume":"21-8","author":"J. Backus","year":"1978","unstructured":"J.Backus. Can programming be liberated from the Von Neumann style? A functional style and its algebra of programs. Communications of the ACM, Vol. 21-8, P. 613\u2013641, August 1978.","journal-title":"Communications of the ACM"},{"key":"1_CR9","volume-title":"A discipline of programming","author":"E.W. Dijkstra","year":"1976","unstructured":"E.W. Dijkstra. A discipline of programming. Prentice Hall, Englewood Cliffs, NJ, 1976."},{"key":"1_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-5983-1","volume-title":"The science of programming","author":"D. Gries","year":"1981","unstructured":"D. Gries. The science of programming. Springer Verlag, New-York, 1981."},{"key":"1_CR11","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21-8","author":"C.A.R. Hoare","year":"1978","unstructured":"C.A.R. Hoare. Communicating sequential processes. Communications of the ACM, Vol. 21-8, P. 666\u2013677, August 1978.","journal-title":"Communications of the ACM"}],"container-title":["Lecture Notes in Computer Science","Coordination Languages and Models"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61052-9_35.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:28:57Z","timestamp":1619573337000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61052-9_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540610526","9783540499367"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-61052-9_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}