{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:18:00Z","timestamp":1725455880088},"publisher-location":"Berlin\/Heidelberg","reference-count":13,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540528504"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0018384","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T05:31:37Z","timestamp":1132637497000},"page":"254-265","source":"Crossref","is-referenced-by-count":0,"title":["A unified framework for characterising logic program executions"],"prefix":"10.1007","author":[{"given":"E","family":"Ravindran","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"SL","family":"Mehndiratta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"21_CR1","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1146\/annurev.cs.01.060186.001301","volume":"I","author":"Arvind","year":"1986","unstructured":"Arvind and Culler DE. Dataflow architectures. Annual Reviews in Computer science I, pp 225\u2013253, 1986.","journal-title":"Annual Reviews in Computer science"},{"key":"21_CR2","unstructured":"Bruynooghe M and Pereira LM. Deduction revision by intelligent backtracking, Implementations of Prolog, J.A.Campbell(ed.), Ellis Horwood, pp 194\u2013215, 1984."},{"key":"21_CR3","unstructured":"Conery JS. The AND-OR process model of parallel interpretation of logic programs. Technical report 1204, University of California at Irvine, 1983."},{"key":"21_CR4","doi-asserted-by":"crossref","unstructured":"Davis AL and Keller RM. Dataflow program graphs, IEEE Computer, pp 26\u201341, February 1982.","DOI":"10.1109\/MC.1982.1653939"},{"key":"21_CR5","unstructured":"Gregory S. Parallel logic programming in PARLOG. Addison Wesley, 1987."},{"key":"21_CR6","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/BF03037380","volume":"4","author":"Z. Halim","year":"1986","unstructured":"Halim Z. A Data driven machine for OR-parallel evaluation of logic programs. New Generation Computing, 4, pp 5\u201333, 1986.","journal-title":"New Generation Computing"},{"key":"21_CR7","unstructured":"Kowalski R. Logic for problem solving. Elsevier North Holland, 1979."},{"key":"21_CR8","unstructured":"Lusk E. Warren DHD. Haridi S. et al. The AURORA OR-parallel PROLOG system. Proceedings of the Intl. Conf. on FGCS, pp 819\u2013830, 1988."},{"key":"21_CR9","unstructured":"Ravindran E and Mehndiratta SL. A unified framework for characterising logic program executions. Technical Report, TR-003-89, I.I.T Bombay, October 1989."},{"key":"21_CR10","unstructured":"Saraswath V. Problems with Concurrent Prolog. Technical Report, CMU-CS-86-100, Carnegie-Mellon University, 1986."},{"key":"21_CR11","doi-asserted-by":"crossref","unstructured":"Saraswath V. The Concurrent logic programming language CP: Definition and operational semantics. Proceedings of the ACM Symposium on Principles of Programming Languages, pp 49\u201362, 1987.","DOI":"10.1145\/41625.41630"},{"key":"21_CR12","unstructured":"Shapiro EY. A subset of Concurrent Prolog and its interpreter. Technical Report, TR-003, Weizmann Institute of Science, Israel, 1983."},{"key":"21_CR13","unstructured":"Wise MJ. Prolog Multiprocessors. Prentice-Hall 1986."}],"container-title":["Lecture Notes in Computer Science","Knowledge Based Computer Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0018384.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:41:20Z","timestamp":1607550080000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0018384"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540528504"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/bfb0018384","relation":{},"subject":[]}}