{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:19:15Z","timestamp":1725664755672},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540609834"},{"type":"electronic","value":"9783540497516"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-60983-0_6","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:10:17Z","timestamp":1330290617000},"page":"83-101","source":"Crossref","is-referenced-by-count":4,"title":["A logic language based on GAMMA-like multiset rewriting"],"prefix":"10.1007","author":[{"given":"Paolo","family":"Ciancarini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniela","family":"Fogli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mauro","family":"Gaspari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1086.001.0001","volume-title":"Actors: A Model of Concurrent Computation in Distributed Systems","author":"G. Agha","year":"1986","unstructured":"G. Agha. Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge, MA, Cambridge, MA, 1986."},{"issue":"3\u20134","key":"6_CR2","doi-asserted-by":"crossref","first-page":"445","DOI":"10.1007\/BF03037173","volume":"9","author":"J. Andreoli","year":"1991","unstructured":"J. Andreoli and R. Pareschi. Linear Objects: Logical Processes with Built-in Inheritance. New Generation Computing, 9(3\u20134):445\u2013473, 1991.","journal-title":"New Generation Computing"},{"key":"6_CR3","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1016\/0743-1066(94)90024-8","volume":"19\/20","author":"K. Apt","year":"1994","unstructured":"K. Apt and R. Bol. Logic Programming and Negation: A Survey. Journal of Logic Programming, 19\/20:9\u201372, May\/July 1994.","journal-title":"Journal of Logic Programming"},{"issue":"1","key":"6_CR4","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1145\/151233.151242","volume":"36","author":"J. Banatre","year":"1993","unstructured":"J. Banatre and D. LeMetayer. Programming by Multiset Transformation. Communications of the ACM, 36(1):98\u2013111, January 1993.","journal-title":"Communications of the ACM"},{"issue":"1","key":"6_CR5","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1145\/114005.102807","volume":"13","author":"A. Brogi","year":"1991","unstructured":"A. Brogi and P. Ciancarini. The concurrent language Shared Prolog. A CM Transactions on Programming Languages and Systems, 13(1):99\u2013123, 1991.","journal-title":"A CM Transactions on Programming Languages and Systems"},{"issue":"2","key":"6_CR6","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1145\/129630.129635","volume":"35","author":"N. Carriero","year":"1992","unstructured":"N. Carriero and D. Gelernter. Coordination Languages and Their Significance. Communications of the ACM, 35(2):97\u2013107, February 1992.","journal-title":"Communications of the ACM"},{"key":"6_CR7","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1016\/0743-1066(89)90020-4","volume":"7","author":"L. Cavedon","year":"1989","unstructured":"L. Cavedon and J. Lloyd. A completeness Theorem for SLDNF-resolution. Journal of Logic Programming, 7:177\u2013191, 1989.","journal-title":"Journal of Logic Programming"},{"key":"6_CR8","volume-title":"Technical Report UBLCS","author":"P. Ciancarini","year":"1995","unstructured":"P. Ciancarini, D. Fogli, and M. Gaspari. A Language based on Multiset Rewriting. Technical Report UBLCS, Comp. Science Laboratory, Universit\u00e0 di Bologna, Italy, June 1995."},{"key":"6_CR9","first-page":"293","volume-title":"Logic and Databases","author":"K. Clark","year":"1978","unstructured":"K. Clark. Negation as failure. In H. Gallaire and J. Minker, editors, Logic and Databases, pages 293\u2013322. Plenum-Press, New York, 1978."},{"issue":"1","key":"6_CR10","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/5001.5390","volume":"8","author":"K. Clark","year":"1986","unstructured":"K. Clark and S. Gregory. Parlog: Parallel programming in logic. ACM Transactions on Programming Languages and Systems, 8(1):1\u201349, 1986.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"6_CR11","first-page":"111","volume-title":"A logic programming language with finite sets","author":"A. Dovier","year":"1991","unstructured":"A. Dovier, E. Omodeo, E. Pontelli, and G. Rossi. {log}: A logic programming language with finite sets. In K. Furukawa, editor, Proc. 8th Int. Conf. on Logic Programming, pages 111\u2013124, Paris, France, 1991. MIT Press, Cambridge, MA."},{"key":"6_CR12","unstructured":"A. Dovier, E. Omodeo, E. Pontelli, and G. Rossi. {log: A language for programming in logic with finite sets. Technical Report Rap. 04.93, Universit\u00e0 degli studi di Roma I, Dip. di Informatica e Sistemistica, May 1993."},{"key":"6_CR13","volume-title":"Master's thesis","author":"D. Fogli","year":"1994","unstructured":"D. Fogli. Insiemi e Multi-insiemi nel Linguaggio di Programmazione Logica G\u00f6del. Master's thesis, Universita' di Bologna, Bologna, 1994."},{"issue":"1","key":"6_CR14","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1145\/2363.2433","volume":"7","author":"D. Gelernter","year":"1985","unstructured":"D. Gelernter. Generative Communication in Linda. ACM Transactions on Programming Languages and Systems, 7(1):80\u2013112, 1985.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"6_CR15","volume-title":"Technical Report TR 1758\/92","author":"C. Hankin","year":"1992","unstructured":"C. Hankin, D. LeMetayer, and D. Sands. A Calculus of Gamma Programs. Technical Report TR 1758\/92, IRISA, INRIA-Rennes, 1992."},{"key":"6_CR16","first-page":"367","volume-title":"volume 694 of Lecture Notes in Computer Science","author":"C. Hankin","year":"1993","unstructured":"C. Hankin, D. LeMetayer, and D. Sands. A Parallel Programming Style and Its Algebra of Programs. In Proc. Conf. on Parallel Architectures and Languages Europe (PARLE 93), volume 694 of Lecture Notes in Computer Science, pages 367\u2013378. Springer-Verlag, Berlin, 1993."},{"key":"6_CR17","unstructured":"P. Hill and J. Lloyd. The G\u00f6del Programming Language. Technical report, Dept. of Computer Science, University of Bristol, 1993."},{"issue":"1","key":"6_CR18","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1016\/0167-739X(94)90053-1","volume":"10","author":"J. Jacquet","year":"1994","unstructured":"J. Jacquet and K. DeBosschere. On the Semantics of \u03bcLog. Future Generation Computer Systems, 10(1):93\u2013136, 1994.","journal-title":"Future Generation Computer Systems"},{"issue":"3","key":"6_CR19","doi-asserted-by":"crossref","first-page":"412","DOI":"10.1145\/72551.72555","volume":"21","author":"E. Shapiro","year":"1989","unstructured":"E. Shapiro. The Family of Concurrent Logic Languages. ACM Computer Surveys, 21(3):412\u2013510, September 1989.","journal-title":"ACM Computer Surveys"}],"container-title":["Lecture Notes in Computer Science","Extensions of Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60983-0_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:28:41Z","timestamp":1619573321000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60983-0_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540609834","9783540497516"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-60983-0_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}