{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:54:11Z","timestamp":1725663251306},"publisher-location":"Berlin, Heidelberg","reference-count":35,"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_16","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T13:23:27Z","timestamp":1330176207000},"page":"330-359","source":"Crossref","is-referenced-by-count":6,"title":["Linguistic support of receptionists for shared resources"],"prefix":"10.1007","author":[{"given":"Carl","family":"Hewitt","sequence":"first","affiliation":[]},{"given":"Tom","family":"Reinhardt","sequence":"additional","affiliation":[]},{"given":"Gul","family":"Agha","sequence":"additional","affiliation":[]},{"given":"Giuseppe","family":"Attardi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"[Atkinson and Hewitt 79] Atkinson, 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"},{"key":"16_CR2","volume-title":"Semantics of Inheritance and Attributions in the Description System Omega. Proceedings of IJCAI 81, IJCAI","author":"G. Attardi","year":"1981","unstructured":"[Attardi and Simi 81] Attardi, G. and Simi, M. Semantics of Inheritance and Attributions in the Description System Omega. Proceedings of IJCAI 81, IJCAI, Vancouver, B.C., Canada, August, 1981."},{"issue":"8","key":"16_CR3","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":"16_CR4","unstructured":"[Baker 78] Baker, H. Actor Systems for Real-Time Computation. Technical Report 197, Mit Laboratory for Computer Science, 1978."},{"key":"16_CR5","first-page":"55","volume-title":"The Incremental Garbage Collection of Processes. Conference Record of the Conference on AI and Programming Languages","author":"H. Baker","year":"1977","unstructured":"[Baker and Hewitt 77] Baker, H. and Hewitt, C. The Incremental Garbage Collection of Processes. Conference Record of the Conference on AI and Programming Languages, ACM, Rochester, New York, August, 1977, pp.55\u201359."},{"key":"16_CR6","unstructured":"[Barber, de Jong, and Hewitt 83] Barber, G.R., de Jong, S.P., and Hewitt, C. Semantic Support for Work in Organizations. Proceedings of IFIP-83, IFIP, Sept., 1983."},{"key":"16_CR7","volume-title":"Simula Begin","author":"G. M. Birtwistle","year":"1973","unstructured":"[Birtwistle, Dahl, Myhrhaug, and Nygaard 73] Birtwistle, G.M., Dahl, O-J., Myhrhaug, B., Nygaard, K. Simula Begin. Van Nostrand Reinhold, New York, 1973."},{"key":"16_CR8","unstructured":"[Bobrow and Stefik 82] Bobrow, D. G., Stefik, M. J. Loops: An Object Oriented Programming System for Interlisp. Xerox PARC, 1982."},{"key":"16_CR9","unstructured":"[Borgida, Mylopoulos, and Wong 82] Borgida, A., Mylopoulos, J.L., Wong, H. K. T. Generalization as a Basis for Software Specification. Perspectives on Conceptual Modeling, Springer-Verlag, 1982."},{"key":"16_CR10","unstructured":"[Borning and Ingalls 82] Borning, A. H., Ingalls, D. H. Multiple Inheritance in Smalltalk-80. Proceedings of the National Conference on Artificial Intelligence, AAAI, August, 1982."},{"key":"16_CR11","unstructured":"[Brock and Ackerman 78] Brock, J.D. and Ackerman, W.B. An Anomoly in the Specifications of Nondeterminate Packet Systems. Tech. Rep. Computation Structures Group None 33\u20131, M.I.T., January, 1978."},{"key":"16_CR12","unstructured":"[Clinger 81] Clinger, W.D. Foundations of Actor Semantics. AI-TR-633, MIT Artificial Intelligence Laboratory, May, 1981."},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"[Curry, Baer, Lipkie, and Lee 82] Curry, G., Baer, L., Lipkie, D., Lee B. Traits: An Approach to Multiple-Inheritance Subclassing. Conference on Office Information Systems, ACM SIGOA, June, 1982.","DOI":"10.1145\/800210.806468"},{"key":"16_CR14","unstructured":"[Dijkstra 77] Dijkstra, E. W. A Discipline of Programming. Prentice-Hall, 1977."},{"key":"16_CR15","unstructured":"[Friedman and Wise 76] Friedman, D. P., Wise, D. S. The Impact of Applicative Programming on Multiprocessing. Proceedings of the International Conference on Parallel Processing, ACM, 1976, pp. 263\u2013272."},{"key":"16_CR16","unstructured":"[Greif 75] Greif, I. Semantics of Communicating Parallel Processes. Technical Report 154, MIT, Project MAC, 1975."},{"key":"16_CR17","unstructured":"[Hewitt 75] Hewitt, C.E. Protection and Synchronization in Actor Systems. SIGCOMMSIGOPS Interface Workshop on Interprocess Communications, ACM, March, 1975."},{"key":"16_CR18","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1016\/0004-3702(77)90033-9","volume":"8\u20133","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\u20133 (June 1977), 323\u2013364.","journal-title":"Journal of Artificial Intelligence"},{"key":"16_CR19","doi-asserted-by":"crossref","unstructured":"[Hewitt 83] Hewitt, C.E. Open Systems. Perspectives on Conceptual Modeling, Springer-Verlag, 1983.","DOI":"10.1007\/978-1-4612-5196-5_6"},{"key":"16_CR20","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":"16_CR21","doi-asserted-by":"crossref","unstructured":"[Hewitt and de Jong 83] Hewitt, C., de Jong, P. Analyzing the Roles of Descriptions and Actions in Open Systems. Proceedings of the National Conference on Artificial Intelligence, AAAI, August, 1983.","DOI":"10.1007\/978-1-4612-5196-5_6"},{"key":"16_CR22","first-page":"316","volume-title":"Specifying and Proving Properties of Guardians for Distributed Systems. Proceedings of the Conference on Semantics of Concurrent Computation, Vol. 70","author":"C. Hewitt","year":"1979","unstructured":"[Hewitt, Attardi, and Lieberman 79a] Hewitt C., Attardi G., and Lieberman H. Specifying and Proving Properties of Guardians for Distributed Systems. Proceedings of the Conference on Semantics of Concurrent Computation, Vol. 70, INRIA, Springer-Verlag, Evian, France, July, 1979, pp. 316\u2013336."},{"key":"16_CR23","volume-title":"Delegation in Message Passing. Proceedings of First International Conference on Distributed Systems","author":"C. E. Hewitt","year":"1979","unstructured":"[Hewitt, Attardi, and Lieberman 79b] Hewitt, C. E., Attardi, G., and Lieberman, H. Delegation in Message Passing. Proceedings of First International Conference on Distributed Systems, ACM, Huntsville, October, 1979."},{"key":"16_CR24","doi-asserted-by":"crossref","unstructured":"[Hoare 74] Hoare, C. A. R. Monitors: An Operating System Structuring Concept. CACM (October 1974).","DOI":"10.1145\/355620.361161"},{"key":"16_CR25","unstructured":"[Hoare 76] Hoare, C.A.R. Language Hierarchies and Interfaces. In Lecture Notes in Computer Science, Springer-Verlag, 1976."},{"issue":"8","key":"16_CR26","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":"16_CR27","unstructured":"[Kahn 81] Kahn, K. Uniform\u2014A Language Based Upon Unification which Unifies (much of) Lisp, Prolog, and Act 1. University of Uppsala, March, 1981."},{"key":"16_CR28","doi-asserted-by":"crossref","unstructured":"[Kornfeld and Hewitt 81] Kornfeld, W. A. and Hewitt, C. The Scientific Community Metaphor. IEEE Transactions on Systems, Man, and Cybernetics SMC-11, 1 (January 1981).","DOI":"10.1109\/TSMC.1981.4308575"},{"key":"16_CR29","doi-asserted-by":"crossref","unstructured":"[Landin 65] Landin, P. A Correspondence Between ALGOL 60 and Church's Lambda Notation. Communication of the ACM 8, 2 (February 1965).","DOI":"10.1145\/363744.363749"},{"key":"16_CR30","doi-asserted-by":"crossref","DOI":"10.21236\/AD0406138","volume-title":"LISP 1.5 Programmer's Manual","author":"J. McCarthy","year":"1962","unstructured":"[McCarthy 62] McCarthy, John. LISP 1.5 Programmer's Manual. The MIT Press, Cambridge, Ma., 1962."},{"key":"16_CR31","doi-asserted-by":"crossref","unstructured":"[Milner 79] Milner, R. Flowgraphs and Flow Algebras. JACM 26, No. 4 (1979).","DOI":"10.1145\/322154.322167"},{"key":"16_CR32","doi-asserted-by":"crossref","unstructured":"[Reynolds 74] Reynolds, J.C. On the Relation Between Direct and Continuation Semantics. Proceedings of the Second Colloquium on Automata, Language and Programming, Springer-Verlag, 1974.","DOI":"10.1007\/3-540-06841-4_57"},{"key":"16_CR33","unstructured":"[Strachey and Wadsworth 74] Strachey, C. and Wadsworth, C.P. Continuations-A Mathematical Semantics for Handling Full Jumps. University of Oxford, Programming Research Group, 1974."},{"issue":"2","key":"16_CR34","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1145\/322186.322199","volume":"27","author":"S. Ward","year":"1980","unstructured":"[Ward and Halstead 80] Ward, S. and Halstead, R. A Syntactic Theory of Message Passing. JACM 27, No. 2 (1980), 365\u2013383.","journal-title":"JACM"},{"key":"16_CR35","doi-asserted-by":"crossref","unstructured":"[Weinreb and Moon 81] Weinreb, D. and Moon D. LISP Machine Manual. MIT, 1981.","DOI":"10.1145\/1056737.1056738"}],"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_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:08:41Z","timestamp":1605625721000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-15670-4_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540156703","9783540395935"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/3-540-15670-4_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1985]]}}}