{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:58:03Z","timestamp":1725663483508},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540568919"},{"type":"electronic","value":"9783540477792"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56891-3_42","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T06:49:35Z","timestamp":1330238975000},"page":"529-540","source":"Crossref","is-referenced-by-count":0,"title":["Compositionality issues of concurrent object-oriented logic languages"],"prefix":"10.1007","author":[{"given":"E.","family":"Pimentel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. M.","family":"Troya","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"42_CR1","doi-asserted-by":"crossref","unstructured":"Agha, G. 1986. Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press.","DOI":"10.7551\/mitpress\/1086.001.0001"},{"key":"42_CR2","volume-title":"Technical Report, CS-R8626","author":"P. H. M. M. America","year":"1986","unstructured":"America, P.H.M., de Bakker, J.W., Kok, J.N. and Rutten, J.J.M.M. 1986. A denotational semantics of a parallel object-oriented language, Technical Report, CS-R8626, Centre for Mathematics and Computer Science, Amsterdam."},{"key":"42_CR3","doi-asserted-by":"crossref","unstructured":"America, P.H.M. and Rutten, J.J.M.M. 1988. \u201cSolving reflexive domain equations in a category of complete metric spaces\u201d, in M. Main, A. Melton, M. Mislove and D. Schmidt (eds), Proc. of Third Workdhop on Mathematical Foundations of Programming Languages Semantics, LNCS 298, Springer-Verlag, pp. 254\u2013288.","DOI":"10.1007\/3-540-19020-1_13"},{"key":"42_CR4","unstructured":"America, P.H.M. and Rutten, J.J.M.M. 1989. \u201cA Parallel Object-Oriented Language: Design and Semantic Foundations\u201d, in J.W. de Bakker (ed), Languages for Parallel Architectures. Design, Semantics, Implementation Models. Wiley, pp. 1\u201349."},{"key":"42_CR5","unstructured":"Boer, F.S., Kok, J.N., Palamidessi, C. and Rutten, J. 1989. \u201cSemantic models for a version of PARLOG\u201d, in G. Levi y M. Martelli (eds), Proc.of Sixth Int. Conf. on Logic Programing, MIT Press, pp. 621\u2013635."},{"key":"42_CR6","unstructured":"Cook, W and Palsberg, J. 1989. \u201cA denotational semantics of inheritance and its correcteness\u201d, in N. Meyrowitz (ed), Proc. OOPSLA'89. SIGPLAN Notices, vol. 24, n\u2218 10, ACM Press\/Addison-Wesley, pp. 433\u2013443."},{"issue":"1","key":"42_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/5001.5390","volume":"8","author":"K. Clark","year":"1986","unstructured":"Clark, K. and Gregory, S. 1986. \u201cPARLOG: Parallel Programming in Logic\u201d, in ACM Transactions on Programming Languages and Systems, vol. 8, 1, pp. 1\u201349.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"42_CR8","unstructured":"Davison, A. 1989. Polka: A Parlog Object-Oriented Language. PhD. thesis. Univ. of London."},{"key":"42_CR9","first-page":"274","volume-title":"Concurrent Prolog: Collected Papers, vol. 2","author":"K. Kahn","year":"1987","unstructured":"Kahn, K., Tribble, E.D., Miller, M.S. and Bobrow, D. 1987. \u201cVulcan: Logical Concurrent Objects\u201d, in E. Shapiro (ed). Concurrent Prolog: Collected Papers, vol. 2, MIT Press, Cambridge (Mass), pp. 274\u2013303."},{"key":"42_CR10","unstructured":"Ohki, M., Takeuchi, A. and Furukawa, K. 1987. \u201cAn Object-oriented Programming Language Based on the Parallel Logic Programming Language KL1\u201d, in Proc. of the Fourth Int. Conf. on Logic Programming, MIT Press, pp. 894\u2013909."},{"key":"42_CR11","unstructured":"Pimentel, E. and Troya, J.M. 1991. \u201cA Concurrent Object Oriented Logic Language\u201d, in Atti del Sesto Convegno sulla Programmazione Logica. Pisa. pp. 227\u2013240."},{"key":"42_CR12","doi-asserted-by":"crossref","unstructured":"Pimentel, E. and Troya, J.M. 1992. \u201cL2\u2225O2: Operational and Declarative Semantics\u201d, in Proc. of ALPUK'92. Springer-Verlag.","DOI":"10.1007\/978-1-4471-3421-3_10"},{"key":"42_CR13","volume-title":"Technical Report, TR-003","author":"E. Shapiro","year":"1983","unstructured":"Shapiro, E. 1983. \u201cA subset of Concurrent Prolog and its interpreter\u201d. Technical Report, TR-003. ICOT, Tokyo."},{"key":"42_CR14","unstructured":"Shapiro, E. 1989. \u201cThe Family of Concurrent Logic Programming Languages\u201d, in ACM Computing Surveys, vol. 21. n\u22183. ACM. pp. 413\u2013510."},{"key":"42_CR15","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/BF03037020","volume":"1","author":"E. Shapiro","year":"1983","unstructured":"Shapiro, E. and Takeuchi, A. 1983. \u201cObject Oriented Programming in Concurrent Prolog\u201d, in New Generation Computing, 1. pp. 25\u201348.","journal-title":"New Generation Computing"},{"key":"42_CR16","volume-title":"Technical Report, TR-103","author":"K. Ueda","year":"1985","unstructured":"Ueda, K. 1985. \u201cGuarded Horn Clauses\u201d. Technical Report, TR-103. ICOT, Institute for New Generation Computer Technology, Tokyo."},{"key":"42_CR17","doi-asserted-by":"crossref","unstructured":"Yelland, P.M. 1989 \u201cFirst Steps Towards Fully Abstract Semantics for Object Oriented Languages\u201d, in Proc. of the Third European Conf. on Object-Oriented Prog. Cambridge Univ. Press.","DOI":"10.1093\/comjnl\/32.4.290"}],"container-title":["Lecture Notes in Computer Science","PARLE '93 Parallel Architectures and Languages Europe"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56891-3_42.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:57:05Z","timestamp":1619557025000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56891-3_42"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540568919","9783540477792"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-56891-3_42","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}