{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:05:42Z","timestamp":1725663942989},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540554370"},{"type":"electronic","value":"9783540470731"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55437-8_87","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T10:04:12Z","timestamp":1330250652000},"page":"277-288","source":"Crossref","is-referenced-by-count":3,"title":["A distributed implementation of flat concurrent prolog on multi-transputer environments"],"prefix":"10.1007","author":[{"given":"U.","family":"Gl\u00e4sser","sequence":"first","affiliation":[]},{"given":"G.","family":"Hannesen","sequence":"additional","affiliation":[]},{"given":"M.","family":"K\u00e4rcher","sequence":"additional","affiliation":[]},{"given":"G.","family":"Lehrenfeld","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"21_CR1","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0020-0190(83)90092-3","volume":"16","author":"E. W. Dijkstra","year":"1983","unstructured":"Dijkstra, E. W., Feijen, W. H. J., and van Gasteren, A. J. M. 1983. Derivation of a Termination Detection Algorithm for Distributed Computations. In Information Processing Letters, Vol. 16, pp. 217\u2013219.","journal-title":"Information Processing Letters"},{"key":"21_CR2","unstructured":"Foster, I., and Taylor, S. 1990. Strand, New Concepts in Parallel Programming. Prentice-Hall."},{"key":"21_CR3","unstructured":"Gl\u00e4sser, U., and Lehrenfeld, G. 1990. A distributed implementation of Flat Concurrent Prolog on Transputer architectures. In Proceedings of the UNESCO Conference on Parallel Computing in Engeneering and Engeneering Education, Paris, pp. 181\u2013185."},{"issue":"8","key":"21_CR4","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C. A. R. Hoare","year":"1978","unstructured":"Hoare, C. A. R. 1978. Communicating Sequential Processes. In Communications of the ACM, Vol. 21 (8), pp. 666\u2013677.","journal-title":"Communications of the ACM"},{"key":"21_CR5","unstructured":"May, D. 1990. Future Directions in Transputer Technology. In Proceedings of UNESCO Conference on Parallel Computing in Engineering and Engineering Education, Paris, pp. 193\u2013203."},{"key":"21_CR6","volume-title":"Tech. Rep. CS85-9","author":"C. Mierowsky","year":"1985","unstructured":"Mierowsky, C., Taylor, S., Shapiro, E., Levy, J., and Safra, S. 1985. The design an implementation of Flat Concurrent Prolog. Tech. Rep. CS85-9, Dept. of Computer Science, The Weizmann Institute of Science, Rehovot, Israel."},{"key":"21_CR7","unstructured":"Parsec 1989. Par.C System: User's Manual and Library Reference Version 1.22. Parsec Developments, Leiden, The Netherlands."},{"issue":"3","key":"21_CR8","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1145\/72551.72555","volume":"21","author":"E. Shapiro","year":"1989","unstructured":"Shapiro, E. 1989. The Family of Concurrent Logic Programming Languages. In ACM Computing Surveys, Vol. 21 (3), pp. 413\u2013510.","journal-title":"ACM Computing Surveys"},{"key":"21_CR9","first-page":"46","volume-title":"Concurrent Prolog: Collected Papers, Vol. 2","author":"W. Silverman","year":"1987","unstructured":"Silverman, W., Hirsch, M., Houri, A., and Shapiro, E. 1987. The Logix system user manual Version 1.21. In Concurrent Prolog: Collected Papers, Vol. 2, E. Shapiro, Ed. MIT Press, Cambridge, Mass., pp. 46\u201377."},{"key":"21_CR10","first-page":"242","volume-title":"Lecture Notes in Computer Science, Vol 225","author":"A. Takeuchi","year":"1987","unstructured":"Takeuchi, A., and Furukawa, K. 1987. Parallel Logic Programming Languages. In Proceedings of the 3rd International Conference on Logic Programming, Lecture Notes in Computer Science, Vol 225, Springer-Verlag, New York, pp. 242\u2013254"},{"issue":"No.3","key":"21_CR11","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1007\/BF01414556","volume":"15","author":"S. Taylor","year":"1987","unstructured":"Taylor, S., Safra, S., and Shapiro, E. 1987. A Parallel Implementation of Flat Concurrent Prolog. In International Journal of Parallel Programming, Vol. 15, No. 3, pp. 245\u2013275","journal-title":"International Journal of Parallel Programming"},{"key":"21_CR12","unstructured":"Taylor, S. 1989. Parallel Logic Programming Techniques. Prentice-Hall."},{"key":"21_CR13","first-page":"957","volume-title":"Proceedings of the IFIP Congress","author":"K. Ueda","year":"1989","unstructured":"Ueda, K. 1989. Parallelism in Logic Programming. In Proceedings of the IFIP Congress, North-Holland Amsterdam, pp. 957\u2013964."},{"key":"21_CR14","unstructured":"Warren, D. H. D. 1983. An Abstract Prolog Instruction Set. Technical Note 309, Artificial Intelligence Center, SRI."}],"container-title":["Lecture Notes in Computer Science","Parallel Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55437-8_87.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:31:09Z","timestamp":1619573469000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55437-8_87"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540554370","9783540470731"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-55437-8_87","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}