{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:49:41Z","timestamp":1725662981171},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540138839"},{"type":"electronic","value":"9783540390879"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1984]]},"DOI":"10.1007\/3-540-13883-8_63","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T13:09:09Z","timestamp":1330175349000},"page":"31-43","source":"Crossref","is-referenced-by-count":1,"title":["Process specification of logic programs"],"prefix":"10.1007","author":[{"given":"R.","family":"Ramanujam","sequence":"first","affiliation":[]},{"given":"R. K.","family":"Shyamasundar","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"Apt K.R. and M.H. van Emden: Contributions to the theory of logic programming, JACM, Vol.29, No.3, Oct. 1982.","DOI":"10.1145\/322326.322339"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Bellia M., P. Degano and G. Levi: Applicative Communicating Processes in First-Order Logic, Symposium on Programming, LNCS 137 (Springer-Verlag 1982).","DOI":"10.1007\/3-540-11494-7_1"},{"volume-title":"Logic Programming","year":"1982","key":"3_CR3","unstructured":"Clark K.L. and S.A. Tarnlund (eds.): Logic Programming, Academic Press, (London, 1982)."},{"key":"3_CR4","unstructured":"Clark K.L. and S. Gregory: PARLOG: a parallel logic programming language, Imperial College Tech. Rep. (May 1983)."},{"key":"3_CR5","unstructured":"Kahn G: The semantics of a simple language for parallel programming, in J.L. Rosenfeld (ed), IFIP74, Amsterdam, 471\u2013475 (North Holland, 1974)."},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Lassez J.L. and M.J. Maher: Closure and fairness in the semantics of programming logic, to appear in Theoretical Computer Science (1984).","DOI":"10.1016\/0304-3975(84)90017-3"},{"key":"3_CR7","unstructured":"Shapiro E: A subset of Concurrent Prolog and its interpreter, ICOT (Jan. 1983)."},{"key":"3_CR8","unstructured":"R. Ramanujam and R.K. Shyamasundar: Logic Programs for Specifying Dynamic Networks of Processes, submitted for publication, Apr. 1984."},{"key":"3_CR9","unstructured":"van Emden M.H. and F. Lucena Filho: Predicate Logic as a Language for Parallel Programming, in Clark and Tarnlund 82."},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"van Emden M.H. and R.A. Kowalski: The semantics of Predicate Logic as a Programming Language, JACM, Vol.23, No. 4, (Dec. 1976).","DOI":"10.1145\/321978.321991"},{"key":"3_CR11","volume-title":"A de Bruin and WP de Roever: A proof system for partial correctness of dynamic networks of processes, Proceedings of the 2nd Workshop on Logics of Programs","author":"J. Zwiers","year":"1983","unstructured":"Zwiers J., A de Bruin and WP de Roever: A proof system for partial correctness of dynamic networks of processes, Proceedings of the 2nd Workshop on Logics of Programs, D. Kozen and E. Clarke (eds.), LNCS 164 Springer-Verlag (Heidelberg 1983)."}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Technology and Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-13883-8_63.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:07:44Z","timestamp":1605625664000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-13883-8_63"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984]]},"ISBN":["9783540138839","9783540390879"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-13883-8_63","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1984]]}}}