{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:54:18Z","timestamp":1725663258659},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540156703"},{"type":"electronic","value":"9783540395935"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/3-540-15670-4_8","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T13:23:48Z","timestamp":1330176228000},"page":"151-179","source":"Crossref","is-referenced-by-count":6,"title":["Semantic considerations in the actor paradigm of concurrent computation"],"prefix":"10.1007","author":[{"given":"Gul","family":"Agha","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"[Atkinson and Hewitt 79] Ktkinson, R. and Hewitt, C. Specification and Proof Techniques for Serializers. IEEE Transactions on Software Engineering SE-5 No. 1, IEEE, January, 1979.","DOI":"10.1109\/TSE.1979.234149"},{"issue":"8","key":"8_CR2","doi-asserted-by":"crossref","first-page":"613","DOI":"10.1145\/359576.359579","volume":"21","author":"J. Backus","year":"1978","unstructured":"[Backus 78] Backus, J. Can Programming be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs. Communications of the ACM 21, 8 (August 1978), 613\u2013641.","journal-title":"Communications of the ACM"},{"key":"8_CR3","unstructured":"[Clinger 81] Clinger, W.D. Foundations of Actor Semantics. AI-TR-633, MIT Artificial Intelligence Laboratory, May, 1981."},{"key":"8_CR4","unstructured":"[Dijkstra 77] Dijkstra, E.W. A Discipline of Programming. Prentice-Hall, 1977."},{"key":"8_CR5","unstructured":"[Fosseen 72] Fosseen, J.B. Representation of Algorithms by Maximally Parallel Schemata. Master Th., Massachusetts Institute of Technology, 1972."},{"key":"8_CR6","unstructured":"[Goldberg 83] Goldberg, A. and Robson, D. Smalltalk-80: The Language and Its Implementation. Addison-Wesley Publishing Company, 1983."},{"key":"8_CR7","unstructured":"[Greif 75] Greif, I. Semantics of Communicating Parallel Processes. Technical Report 154, MIT, Project MAC, 1975."},{"key":"8_CR8","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1016\/0004-3702(77)90033-9","volume":"8-3","author":"C. E. Hewitt","year":"1977","unstructured":"[Hewitt 77] Hewitt, C.E. Viewing Control Structures as Patterns of Passing Messages. Journal of Artificial Intelligence 8-3 (June 1977), 323\u2013364.","journal-title":"Journal of Artificial Intelligence"},{"key":"8_CR9","unstructured":"[Hewitt and Baker 77] Hewitt, C. and Baker, H. Laws for Communicating Parallel Processes. 1977 IFIP Congress Proceedings, IFIP, August, 1977, pp. 987\u2013992."},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"[Hewitt, et al 84] Hewitt, C., Reinhardt, T., Agha, G. and Attardi, G. Linguistic Support of Receptionists for Shared Resources. Memo Forthcoming, MIT Artificial Intelligence Laboratory, 1984.","DOI":"10.1007\/3-540-15670-4_16"},{"issue":"8","key":"8_CR11","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C. A. R. R. Hoare","year":"1978","unstructured":"[Hoare 78] Hoare, C.A.R. Communicating Sequential Processes. CACM 21, 8 (August 1978), 666\u2013677.","journal-title":"CACM"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"[Liskov, Snyder, Atkinson, and Schaffert 77] Liskov B., Snyder A., Atkinson R., and Schaffert C. Abstraction Mechanism in CLU. Communications of the ACM 20, 8 (August 1977).","DOI":"10.1145\/359763.359789"},{"key":"8_CR13","unstructured":"[Mead and Conway 80] Mead, C. and Conway, L. Introduction to VLSI Systems. Addison-Wesley, Reading, MA, 1980."},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"[Milner 80] Milner, R. Lecture Notes in Computer Science. Vol. 92: A Calculus of Communicating Behavior. Springer-Verlag, 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"[Peterson 77] Peterson, J.L. Petri Nets. Comput. Survey (Sept. 1977).","DOI":"10.1145\/356698.356702"},{"key":"8_CR16","unstructured":"[Smyth 78] Smyth, M.B. Petri Nets. J. of Comput. Survey Science (Feb. 1978)."},{"key":"8_CR17","unstructured":"[Theriault 83] Theriault, D. Issues in the Design and Implementation of Act2. Technical Report 728, MIT Artificial Intelligence Laboratory, June, 1983."}],"container-title":["Lecture Notes in Computer Science","Seminar on Concurrency"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-15670-4_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:08:46Z","timestamp":1605625726000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-15670-4_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540156703","9783540395935"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-15670-4_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1985]]}}}