{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:52:50Z","timestamp":1725663170466},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540186250"},{"type":"electronic","value":"9783540480334"}],"license":[{"start":{"date-parts":[[1987,1,1]],"date-time":"1987-01-01T00:00:00Z","timestamp":536457600000},"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":[[1987]]},"DOI":"10.1007\/3-540-18625-5_60","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:40:45Z","timestamp":1330198845000},"page":"361-371","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Semantics of distributed Horn clause programs"],"prefix":"10.1007","author":[{"given":"R.","family":"Ramanujam","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"24_CR1","doi-asserted-by":"publisher","first-page":"841","DOI":"10.1145\/322326.322339","volume":"29","author":"K. R. Apt","year":"1982","unstructured":"Apt K.R. and M.H. van Emden, Contributions to the Theory of Logic Programming, Journal of the ACM, 29: 841\u2013862, 1982.","journal-title":"Journal of the ACM"},{"key":"24_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/5001.5390","volume":"8","author":"K. L. Clark","year":"1986","unstructured":"Clark K.L. and S. Gregory, PARLOG: Parallel Programming in Logic, ACM Transactions on Programming Languages and Systems, 8: 1\u201349, 1986.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"24_CR3","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1007\/BF03037115","volume":"3","author":"J. S. Conery","year":"1985","unstructured":"Conery J.S. and D.F. Kibler, AND \u2014 Parallelism and Nondeterminism in Logic Programs, New Generation Computing, 3: 43\u201370, 1985.","journal-title":"New Generation Computing"},{"key":"24_CR4","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"M. H. Emden van","year":"1976","unstructured":"van Emden M.H. and R.A. Kowalski, The Semantics of Predicate Logic as a Programming Language, Journal of the ACM, 23: 733\u2013742, 1976.","journal-title":"Journal of the ACM"},{"key":"24_CR5","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1016\/S0019-9958(84)80021-2","volume":"60","author":"M Falaschi","year":"1984","unstructured":"Falaschi M, G. Levi and C. Palamidessi, Synchronization Logic: axiomatics and formal semantics of Generalized Horn Clauses, Information and Control, 60: 36\u201369, 1984.","journal-title":"Information and Control"},{"key":"24_CR6","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1016\/S0743-1066(85)80005-4","volume":"4","author":"M Fitting","year":"1985","unstructured":"Fitting M, A. Kripke-Kleene semantics for logic programs, Journal of Logic Programming, 4: 295\u2013312, 1985.","journal-title":"Journal of Logic Programming"},{"key":"24_CR7","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/0304-3975(84)90022-7","volume":"32","author":"N Francez","year":"1984","unstructured":"Francez N, D. Lehmann and A. Pnueli, A linear history semantics for languages for distributed programming, Theoretical Computer Science, 32: 25\u201346, 1984.","journal-title":"Theoretical Computer Science"},{"key":"24_CR8","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C. A. R. R. Hoare","year":"1978","unstructured":"Hoare C.A.R. Communicating Sequential Processes, Communications of the ACM, 21: 666\u2013677, 1978.","journal-title":"Communications of the ACM"},{"key":"24_CR9","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/0304-3975(84)90017-3","volume":"29","author":"J-L Lassez","year":"1984","unstructured":"Lassez J-L and M.J. Maher, Closures and Fairness in the Semantics of Programming Logic, Theoretical Computer Science, 29: 167\u2013184, 1984.","journal-title":"Theoretical Computer Science"},{"key":"24_CR10","unstructured":"Lindstrom G. and P. Panangaden, Stream based execution of logic Programs, Proc. of the Intl. Symp. on Logic Programming, Atlantic City, 168\u2013176, 1984."},{"key":"24_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-96826-6","volume-title":"Foundations of Logic Programming","author":"J. W. Lloyd","year":"1984","unstructured":"Lloyd, J.W. Foundations of Logic Programming, Springer-Verlag, New York, 1984."},{"key":"24_CR12","unstructured":"Pereira, L.M. and R. Nasr, Delta-Prolog: A Distributed Logic Programming Language, Proc. of the Intl. Conf. on Fifth Generation Systems, Tokyo, 263\u2013290, 1984."},{"key":"24_CR13","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1007\/3-540-13883-8_63","volume":"181","author":"R. Ramanujam","year":"1984","unstructured":"Ramanujam R. and R.K. Shyamasundar, Process Specification of Logic Programs, Proc. FST and TCS 4, Springer Lecture Notes in Computer Sciences 181, 31\u201343, 1984.","journal-title":"Proc. FST and TCS 4, Springer Lecture Notes in Computer Sciences"},{"key":"24_CR14","unstructured":"Ramanujam R. Theories and Models of Distributed Logic Programs, Ph.D. Thesis submitted to the University of Bombay, Tata Institute of Fundamental Research, Bombay, 1987."},{"key":"24_CR15","series-title":"Tech. Rep.","volume-title":"A subset of Concurrent Prolog and its interpretor","author":"E. Shapiro","year":"1983","unstructured":"Shapiro, E. A subset of Concurrent Prolog and its interpretor, Tech. Rep. TR-003, ICOT, Tokyo, 1983."},{"key":"24_CR16","unstructured":"Warren D.S., M. Ahamad, S.K. Debray and L.V. Kale, Executing distributed Prolog Programs on a broadcast network, Proc. of the Intl. Symp. on Logic Programming, Atlantic City, 12\u201321, 1984."}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Technology and Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-18625-5_60","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T12:46:31Z","timestamp":1558269991000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-18625-5_60"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540186250","9783540480334"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-18625-5_60","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1987]]},"assertion":[{"value":"27 May 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}