{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:57:26Z","timestamp":1725663446895},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540541523"},{"type":"electronic","value":"9783540474722"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54152-7_68","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:32:54Z","timestamp":1330209174000},"page":"238-253","source":"Crossref","is-referenced-by-count":0,"title":["Structural operational semantics for Kernel Andorra Prolog"],"prefix":"10.1007","author":[{"given":"Seif","family":"Haridi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Catuscia","family":"Palamidessi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"14_CR1","unstructured":"R. Bahgat and S. Gregory. Pandora: Non-deterministic Parallel Logic Programming. In Giorgio Levi and Maurizio Martelli, editors, Proc. of the Sixth International Conference on Logic Programming, Series in Logic Programming, pages 471\u2013486, Lisboa, 1989. The MIT Press."},{"key":"14_CR2","series-title":"Technical Report","volume-title":"Formal aspects of Kernel Andorra Prolog","author":"T. Franz\u00e9n","year":"1990","unstructured":"T. Franz\u00e9n. Formal aspects of Kernel Andorra Prolog. Technical Report R90008, SICS, Sweden, 1990."},{"key":"14_CR3","unstructured":"S. Haridi and P. Brand. Andorra Prolog:, an integration of Prolog and commited choice languages. In Proc. of the International Conference on Fifth Generation Computer Systems, pages 745\u2013754, Tokyo, 1988. Institute for New Generation Computer Technology (ICOT)."},{"key":"14_CR4","unstructured":"S. Haridi and S. Janson. Kernel Andorra Prolog and its computation model. In Proc. of the Seventh International Conference on Logic Programming, 1990."},{"key":"14_CR5","series-title":"Technical report","volume-title":"Programming paradigms of the Andorra Kernel Language","author":"S. Haridi","year":"1991","unstructured":"S. Haridi and S. Janson. Programming paradigms of the Andorra Kernel Language. Technical report, SICS, Sweden, 1991."},{"key":"14_CR6","unstructured":"W. Kornfeld. Constraint programming in Andorra Prolog. Presented at the Swedish-Japanese-Italian workshop, 1989."},{"key":"14_CR7","first-page":"49","volume-title":"Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages","author":"V.A. Saraswat","year":"1987","unstructured":"V.A. Saraswat. The concurrent logic programming language CP: definition and operational semantics. In Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, pages 49\u201363. ACM, New York, 1987."},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"V.A. Saraswat. Concurrent Constraint Programming Languages. PhD thesis, Carnegie-Mellon University, january 1989. Published by The MIT Press, U.S.A., 1990.","DOI":"10.1145\/96709.96733"},{"key":"14_CR9","unstructured":"V.A. Saraswat. Programming in Andorra Prolog. Technical report, Xerox PARC, 1989."},{"key":"14_CR10","volume-title":"The Andorra principle","author":"D. H. D. Warren","year":"1987","unstructured":"D. H. D. Warren. The Andorra principle. Presented at the Gigalips workshop, Stockholm, 1987."},{"key":"14_CR11","unstructured":"R. Yang. Solving simple substitution ciphers in Andorra-I. In Giorgio Levi and Maurizio Martelli, editors, Proc. of the Sixth International Conference on Logic Programming, Lisboa, 1989. The MIT Press."}],"container-title":["Lecture Notes in Computer Science","PARLE '91 Parallel Architectures and Languages Europe"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54152-7_68.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:52:43Z","timestamp":1605646363000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54152-7_68"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540541523","9783540474722"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-54152-7_68","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}