{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T19:56:12Z","timestamp":1725652572360},"publisher-location":"London","reference-count":16,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540198222"},{"type":"electronic","value":"9781447132172"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/978-1-4471-3217-2_13","type":"book-chapter","created":{"date-parts":[[2012,1,16]],"date-time":"2012-01-16T12:40:09Z","timestamp":1326717609000},"page":"216-230","source":"Crossref","is-referenced-by-count":2,"title":["A \u03c0-calculus Semantics of Logical Variables and Unification"],"prefix":"10.1007","author":[{"given":"Brian J.","family":"Ross","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","volume-title":"Towards an Operational Semantics for Concurrent Logic Programming Languages","author":"L Beckman","year":"1987","unstructured":"L. Beckman. Towards an Operational Semantics for Concurrent Logic Programming Languages. PhD thesis, Uppsala University, 1987."},{"key":"13_CR2","unstructured":"BH92] M. Belmesk and Z. Habbas. A Process Calculus with Shared Variables. Journal of Computers and Artificial Intelligence,1992. (to appear)."},{"key":"13_CR3","volume-title":"Springer- Verlag","author":"WF Clocksin","year":"1981","unstructured":"W.F. Clocksin and C.S. Mellish. Programming in Prolog. Springer- Verlag, 1981."},{"key":"13_CR4","unstructured":"dBP92] F.S. de Boer and C. Palamidessi. A process algebra of concurrent constraint programming. In Joint International Conference and Symposium on Logic Programming,Washington, D.C., 1992. MIT Press."},{"key":"13_CR5","volume-title":"2 nd International Logic Programming Conference, Uppsala","author":"G Lindstrom","year":"1984","unstructured":"G. Lindstrom. OR-parallelism on applicative architectures. In 2\n                  nd\n                  International Logic Programming Conference, Uppsala, 1984."},{"key":"13_CR6","volume-title":"Springer-Verlag","author":"J.W","year":"1984","unstructured":"J.W. Lloyd. Foundations of Logic Programming. Springer-Verlag, 1984."},{"key":"13_CR7","volume-title":"Prentice Hall","author":"R","year":"1989","unstructured":"R. Milner. Communication and Concurrency. Prentice Hall, 1989."},{"key":"13_CR8","volume-title":"of Edinburgh","author":"R Milner","year":"1991","unstructured":"R. Milner. The Polyadic ir-Calculus: A Tutorial. Technical Report ECS-LFCS-91\u2013180, LFCS, U. of Edinburgh, 1991."},{"key":"13_CR9","volume-title":"and D. Walker. A Calculus of Mobile Processes, Part I. Technical Report ECS-LFCS-89-85","author":"R Milner","year":"1989","unstructured":"R. Milner, J. Parrow, and D. Walker. A Calculus of Mobile Processes, Part I. Technical Report ECS-LFCS-89\u201385, LFCS, U. of Edinburgh, 1989."},{"key":"13_CR10","volume-title":"and D. Walker. A Calculus of Mobile Processes, Part IL Technical Report ECS-LFCS-89-86","author":"R Milner","year":"1989","unstructured":"R. Milner, J. Parrow, and D. Walker. A Calculus of Mobile Processes, Part IL Technical Report ECS-LFCS-89\u201386, LFCS, U. of Edinburgh, 1989."},{"key":"13_CR11","unstructured":"Ros92a] B.J. Ross. A a\u2014calculus Semantics of Committed Logic Program Control, 1992. In preparation."},{"key":"13_CR12","volume-title":"An Algebraic Semantics of Prolog Control. PhD thesis","author":"BJ Ross","year":"1992","unstructured":"B.J. Ross. An Algebraic Semantics of Prolog Control. PhD thesis, University of Edinburgh, Scotland, 1992."},{"key":"13_CR13","volume-title":"MIT Press","author":"E.Y","year":"1987","unstructured":"E.Y. Shapiro. Concurrent Prolog vol. 1 and 2. MIT Press, 1987."},{"key":"13_CR14","volume-title":"POPL, pages 232-245, San Francisco","author":"V Saraswat","year":"1990","unstructured":"V. Saraswat and M. Rinard. Concurrent Constraint Programming. In POPL, pages 232\u2013245, San Francisco, 1990."},{"key":"13_CR15","volume-title":"Guarded Horn Clauses","author":"K Ueda","year":"1986","unstructured":"K. Ueda. Guarded Horn Clauses. PhD thesis, University of Tokyo, 1986."},{"key":"13_CR16","volume-title":"of Edinburgh","author":"D. Walker. ir-calculus Semantics of Object-Oriented Programming Languages","year":"1990","unstructured":"D. Walker. ir-calculus Semantics of Object-Oriented Programming Languages. Technical Report ECS-LFCS-90\u2013122, LFCS, U. of Edinburgh, 1990."}],"container-title":["Workshops in Computing","NAPAW 92"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3217-2_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,24]],"date-time":"2019-04-24T19:51:27Z","timestamp":1556135487000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3217-2_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540198222","9781447132172"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3217-2_13","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1993]]}}}