{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T14:49:12Z","timestamp":1725634152773},"publisher-location":"London","reference-count":11,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540199274"},{"type":"electronic","value":"9781447130161"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/978-1-4471-3016-1_3","type":"book-chapter","created":{"date-parts":[[2011,11,16]],"date-time":"2011-11-16T12:11:27Z","timestamp":1321445487000},"page":"37-53","source":"Crossref","is-referenced-by-count":1,"title":["Formalising Actors in Linear Logic"],"prefix":"10.1007","author":[{"given":"John","family":"Darlington","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yi-ke","family":"Guo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","volume-title":"Computational Interpretation of Linear Logic","author":"S Abramsky","year":"1990","unstructured":"Samson Abramsky. Computational Interpretation of Linear Logic. Technical report, Dept. of Computing, Imperial College, Oct. 1990."},{"key":"3_CR2","first-page":"37","volume-title":"Object-Orientde Concurrent Programming","author":"G Agha","year":"1988","unstructured":"Gul Agha and Carl Hewitt. Concurrent Programming Using Actors. In A. Yonezawa and M. Tokoro, editors, Object-Orientde Concurrent Programming, pages 37\u201354. The MIT Press, 1988."},{"key":"3_CR3","volume-title":"The chemical abstract machine","author":"G Boudol","year":"1990","unstructured":"Gerard Boudol and G. Berry. The chemical abstract machine. In Proc. of the 17th Annual ACM symposium on Principle of Programming Languages. ACM, 1990."},{"key":"3_CR4","volume-title":"Definitional constraint programming for parallel computing: An introduction","author":"J Darlington","year":"1992","unstructured":"J. Darlington and Y. Guo. Definitional constraint programming for parallel computing: An introduction. In Proc. of the ICOT workshop on Future Direction of Parallel Programming and Architecture, June 1992. ICOT TM-1185."},{"key":"3_CR5","volume-title":"Towards a logical theory of object-based concurrency","author":"J Darlington","year":"1994","unstructured":"John Darlington and Yike Guo. Towards a logical theory of object-based concurrency. Technical report, Imperial College, May 1994."},{"doi-asserted-by":"crossref","unstructured":"Jean-Yves Girard. Linear logic. Theoretical Computer Science, 50(1), 1987.","key":"3_CR6","DOI":"10.1016\/0304-3975(87)90045-4"},{"key":"3_CR7","volume-title":"Definitional Constraint Programming","author":"Y Guo","year":"1993","unstructured":"Yike Guo. Definitional Constraint Programming. PhD thesis, Dept. of Computing, Imperial College, December 1993."},{"key":"3_CR8","first-page":"21","volume-title":"On Asynchronous Communication Semantics","author":"K Honda","year":"1991","unstructured":"K. Honda and M. Tokoro. On Asynchronous Communication Semantics. In Proc. of ECOOP\u201991 Workshop, LNCS 612, pages 21\u201351, 1991."},{"key":"3_CR9","volume-title":"Type-theoretic foundations for concurrent object","author":"N Kobayashi","year":"1994","unstructured":"Naoki Kobayashi and Akinori Yonezawa. Type-theoretic foundations for concurrent object. Technical report, Dept of Information Science, 1994."},{"key":"3_CR10","volume-title":"General logics","author":"J Meseguer","year":"1989","unstructured":"Jose Meseguer. General logics. Technical Report SRI-CSL-89\u20135, SRI International, March 1989."},{"key":"3_CR11","volume-title":"Parallel programming in maude","author":"J Meseguer","year":"1991","unstructured":"Jose Meseguer and Timothy Winkler. Parallel programming in maude. Technical Report SRI-CSL-91\u201308, SRI International, November 1991."}],"container-title":["OOIS\u201994"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3016-1_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,1]],"date-time":"2021-05-01T00:23:53Z","timestamp":1619828633000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3016-1_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540199274","9781447130161"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3016-1_3","relation":{},"subject":[],"published":{"date-parts":[[1995]]}}}