{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T04:17:53Z","timestamp":1742617073596,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540160427"},{"type":"electronic","value":"9783540397229"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/3-540-16042-6_20","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:32:38Z","timestamp":1330194758000},"page":"347-368","source":"Crossref","is-referenced-by-count":8,"title":["Partial correctness semantics for CP[\u2193, \u00a6, &]"],"prefix":"10.1007","author":[{"given":"Vijay A.","family":"Saraswat","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"issue":"3","key":"20_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., van Emden, M.H., \u2018Contributions to the theory of logic programming', JACM, vol. 29, No.3, July 1982, pp 841\u2013862.","journal-title":"JACM"},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"Brock, J.D., Ackerman, W.B., 'scenarios: A model of non-determinate computation', International Colloquim on Formalisation of Programming Concepts (J Diaz, I. Ramos ed.) LNCS 107, April 1981, 252\u2013259.","DOI":"10.1007\/3-540-10699-5_102"},{"key":"20_CR3","unstructured":"Brock, J.D., \u2018A formal model of non-determinate dataflow computation', PhD dissertation, EECS department, MIT, August, 1983."},{"key":"20_CR4","unstructured":"Clark, K.L., Gregory, S., \u2018PARLOG: parallel programming in logic', to appear in TOPLAS, 1985."},{"key":"20_CR5","doi-asserted-by":"crossref","unstructured":"Clark, K.L., Gregory S., \u2018A relational language for parallel programming', Res report DOC 81\/16, Imperial College, July 1981.","DOI":"10.1145\/800223.806776"},{"key":"20_CR6","unstructured":"van Emden, M.H., de Lucenha Filho, G.J., \u2018Predicate logic as a language for parallel programming', in Logic Programming, ed. Clark, K.L., and Tarnlund, S.-A., Academic Press, 1980."},{"key":"20_CR7","unstructured":"Jones, N.D., Mycroft, A., 'stepwise development of operational and denotational semantics for Prolog', Proceedings of the 1984 International Symposium on Logic Programming, Atlantic City."},{"key":"20_CR8","unstructured":"Kahn, G., \u2018The semantics of a simple language for parallel programming', in Information Processing 74: Proceedings of IFIP Congress 74, ed. Rosenfeld, J.L., August 1974, pp 471\u2013475."},{"issue":"4","key":"20_CR9","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"R. A. Kowalski","year":"1976","unstructured":"Kowalski, R.A., van Emden, M.H., \u2018The semantics of predicate logic as a programming language', JACM, vol. 23, no. 4, October, 1976, pp. 733\u2013742.","journal-title":"JACM"},{"key":"20_CR10","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., Maher, M.J. \u2018Closure and fairness in the semantics of programming logic', Theoretical Computer Science 29 (1984) 167\u2013184.","journal-title":"Theoretical Computer Science"},{"key":"20_CR11","unstructured":"Lassez, J-L., Maher, M.J., \u2018The denotational semantics of Horn clauses as a production system', Proceedings of AAAI, 1983."},{"key":"20_CR12","doi-asserted-by":"crossref","unstructured":"Lloyd, J.W., \u2018Foundations of Logic Programming', Springer Verlaag, Symbolic Computation series, 1984.","DOI":"10.1007\/978-3-642-96826-6"},{"key":"20_CR13","doi-asserted-by":"crossref","unstructured":"Mycroft, A., \u2018Logic programs and many valued logics', Symposium on Theoretical Aspects of Computer Science, 1984, LNCS 166.","DOI":"10.1007\/3-540-12920-0_25"},{"key":"20_CR14","unstructured":"Plotkin, G.D., \u2018A structural approach to operational semantics', DAIMI FN-19, September 1981, CS Department, University of Aarhus."},{"key":"20_CR15","unstructured":"Plotkin, G.D., \u2018An operational semantics for CSP', In Formal descriptions of programming concepts-II ed. Bj\u00f8rner, D., pp 199\u2013224, North Holland, 183."},{"key":"20_CR16","unstructured":"Saraswat, V.A., \u2018Problems with Concurrent Prolog', forthcoming technical report, CS Department, Carnegie-Mellon University, August, 1985."},{"key":"20_CR17","unstructured":"Saraswat, V.A., \u2018An operational semantics for CP [\u2193, |, & ]', forthcoming technical report, CS Department, Carnegie-Mellon University, August, 1985."},{"key":"20_CR18","unstructured":"Shapiro, E. Y., \u2018A subset of Concurrent Prolog and its interpreter', CS83-06, Weizmann Institute technical report."},{"key":"20_CR19","doi-asserted-by":"crossref","unstructured":"Shapiro, E. Y., 'systems programming in Concurrent Prolog', POPL, 1984.","DOI":"10.1145\/800017.800520"},{"key":"20_CR20","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/BF03037020","volume":"1","author":"E. Y. Shapiro","year":"1983","unstructured":"Shapiro, E.Y., Takeuchi, A., \u2018Object oriented programming in Concurrent Prolog', New Generation Computing, 1 (1983) 25\u201348.","journal-title":"New Generation Computing"},{"key":"20_CR21","unstructured":"Shapiro, E. Y., 'systolic programming: a paradigm of parallel processing', Proceedings of the Fifth Generation Computer Systems Conference, 1984."},{"key":"20_CR22","doi-asserted-by":"crossref","unstructured":"Staples, J., and Nguyen, V.L., \u2018A fixpoint semantics for nondeterminstic data flow', JACM vol 32, no. 2, April 1985.","DOI":"10.1145\/3149.3155"},{"key":"20_CR23","doi-asserted-by":"crossref","unstructured":"Ueda, K., \u2018Guarded Horn Clauses', ICOT Technical report TR-103, June 1985.","DOI":"10.1007\/3-540-16479-0_17"}],"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-16042-6_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T20:24:14Z","timestamp":1742588654000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-16042-6_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540160427","9783540397229"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-16042-6_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1985]]}}}