{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T13:24:45Z","timestamp":1726406685578},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540556138"},{"type":"electronic","value":"9783540472605"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55613-3_5","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T10:27:29Z","timestamp":1330252049000},"page":"99-117","source":"Crossref","is-referenced-by-count":0,"title":["Semantic layers of object-based concurrent computing"],"prefix":"10.1007","author":[{"given":"Etsuya","family":"Shibayama","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"G. Agha. Actors: A Model of Concurrent Computation in Distributed Systems. The MIT Press, 1987.","DOI":"10.7551\/mitpress\/1086.001.0001"},{"key":"5_CR2","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1016\/0890-5401(89)90057-6","volume":"83","author":"P. America","year":"1989","unstructured":"P. America. Denotational semantics of a parallel object-oriented language. Information and Computation, Vol. 83, pp. 152\u2013205, 1989.","journal-title":"Information and Computation"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"J. D. Brock and W. B. Ackerman. Scenarios: A Model of Nondeterminate Computation, volume 107 of Lecture Notes in Computer Science, pages 252\u2013259. Springer-Verlag, 1981.","DOI":"10.1007\/3-540-10699-5_102"},{"issue":"1","key":"5_CR4","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1145\/321992.321996","volume":"24","author":"R. M. Burstall","year":"1977","unstructured":"R. M. Burstall and J. Darlington. A transformation system for developing recursive programs. Journal of the ACM, 24(1):44\u201367, 1977.","journal-title":"Journal of the ACM"},{"issue":"l","key":"5_CR5","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1145\/214451.214456","volume":"3","author":"K. M. Chandy","year":"1985","unstructured":"K. M. Chandy and L. Lamport. Distributed snapshots: Determining global states of distributed systems. ACM Transactions on Computer Systems, 3(l):63\u201375, 1985.","journal-title":"ACM Transactions on Computer Systems"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"J. W. Lloyd. Foundations of Logic Programming. Springer-Verlag, 1984.","DOI":"10.1007\/978-3-642-96826-6"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"R. Milner. A Calculus of Communicating Systems, volume 92 of Lecture Notes in Computer Science. Springer-Verlag, 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"5_CR8","unstructured":"R. Milner. Communication and Concurrency. Prentice-Hall, 1989."},{"key":"5_CR9","unstructured":"R. Milner, J. Parrow, and J. Walker. A calculus of mobile processes part I. Technical Report ECS-LFCS-89-85, Lab. for Foundations of Computer Science, Univ. of Edinburgh, 1989."},{"key":"5_CR10","unstructured":"R. Milner, J. Parrow, and J. Walker. A calculus of mobile processes part II. Technical Report ECS-LFCS-89-86, Lab. for Foundations of Computer Science, Univ. of Edinburgh, 1989."},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"V. Pratt. On the composition of processes. In Proceedings of ACM Symposium on Principles of Programming Languages (POPL), pages 213\u2013223, 1982.","DOI":"10.1145\/582153.582177"},{"issue":"1","key":"5_CR12","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/BF01379149","volume":"15","author":"V. Pratt","year":"1986","unstructured":"V. Pratt. Modeling concurrency with partial orders. International Journal of Parallel Programming, 15(1):33\u201371, 1986.","journal-title":"International Journal of Parallel Programming"},{"key":"5_CR13","first-page":"297","volume-title":"How to invent distributed implementation schemes of an object-oriented concurrent language \u2014 a transformational approach","author":"E. Shibayama","year":"1988","unstructured":"E. Shibayama. How to invent distributed implementation schemes of an object-oriented concurrent language \u2014 a transformational approach. In Proceedings of ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, San Diego CA., pages 297\u2013305. ACM, September 1988. A revised version in [Yonezawa 90]"},{"key":"5_CR14","unstructured":"E. Shibayama. An object-based approach to modeling concurrent systems. Doctor Thesis, Dept. of Information Science, Univ. of Tokyo, 1991."},{"key":"5_CR15","unstructured":"A. Yonezawa, editor. ABCL: An Object-Oriented Concurrent System \u2014 Theory, Language, Programming, Implementation and Application. The MIT Press, 1990."}],"container-title":["Lecture Notes in Computer Science","Object-Based Concurrent Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55613-3_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:33:45Z","timestamp":1619573625000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55613-3_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540556138","9783540472605"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-55613-3_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}