{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:28:20Z","timestamp":1761611300715},"publisher-location":"Berlin, Heidelberg","reference-count":29,"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_2","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T10:27:15Z","timestamp":1330252035000},"page":"21-51","source":"Crossref","is-referenced-by-count":43,"title":["On asynchronous communication semantics"],"prefix":"10.1007","author":[{"given":"Kohei","family":"Honda","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mario","family":"Tokoro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Abramsky, S., Observational Equivalence as a Testing Equivalence, Theoretical Computer Science, 53, 1987.","DOI":"10.1016\/0304-3975(87)90065-X"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Agha, G.: Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, 1986.","DOI":"10.7551\/mitpress\/1086.001.0001"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Bergstra, J., Klop, J., and Tucker, J., Process Algebra with Asynchronous Communication Mechanisms, In Seminar on Concurrency, LNCS 197,1984, Springer Verlag.","DOI":"10.1007\/3-540-15670-4_4"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"de Boer, F., and Palamidessi, C., On the asynchronous nature of communication in concurrent logic languages: a fully abstract model based on sequences, In CONCUR '90, LNCS 458, Springer-Verlag, 1990.","DOI":"10.1007\/BFb0039054"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"de Boer, F., Kok, J., Palamidessi, C., and J.J.M.M. Rutten. The Failure of failures in a paradigm for asynchronous communication. In CONCUR '91, LNCS, Springer-Verlag, 1991.","DOI":"10.1007\/3-540-54430-5_84"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Boudol, Towards the Lambda Calculus for Concurrent Computation. In Proc. TAP-SOFT 1989, LNCS 351, Springer Verlag, 1989.","DOI":"10.1007\/3-540-50939-9_130"},{"key":"2_CR7","unstructured":"Clinger, W. Foundations of Actor Semantics. AI-TR-633, MIT Artificial Intelligence Laboratory."},{"key":"2_CR8","unstructured":"Goguen, J., Sheaf semantics for concurrent interacting objects. To appear in Proc. REX School on Foundations of Object-Oriented Programming, Noorwijkerhout, The Netherlands, May 28\u2013June1, 1990."},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Hewitt, C., Viewing Control Structures as Patterns of Passing Messages. Artificial Intelligence, 1977.","DOI":"10.1016\/0004-3702(77)90033-9"},{"key":"2_CR10","unstructured":"Hindley,J.R., and Seldin, J.P., Introduction to Combinators and \u03bb-calculus. Campbridhe university Press, 1986."},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R., Communicating Sequential Processes. Prentice Hall, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"2_CR12","unstructured":"Honda, K. and Tokoro, M., An Object Calculus for Asynchronous Communication, In: Proc. of European Conference on Object-Oriented Programming, LNCS, Springer-Verlag, July 1991. Extended version to appear as a Keio CS report, Novemver 1992."},{"key":"2_CR13","unstructured":"Honda, K., Functions and Functionals in Interaction. A Manuscript, November 1991."},{"key":"2_CR14","unstructured":"Honda, K., A Semantically Sound Mapping Between Two Calculi. A Manuscript, November 1991."},{"key":"2_CR15","unstructured":"Lampson, B.W., Paul, M., and Siegert, H.J., Distributed Systems \u2014 Architecture and Implementation An Advanced Course. LNCS 105, Springer-Verlag, 1981."},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Meseguer J., Conditional Rewriting Logic as a Unified Model of Concurrency. SRI-CSL-91-05, Computer Science Laboratory, SRI International, 1991. Also to appear in Theoretical Computer Science.","DOI":"10.1007\/3-540-54317-1_81"},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"Milner, R., Calculus of Communicating Systems. LNCS 92, Springer-Verlag, 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"Milner, R., Calculi for Synchrony and Asynchrony. TCS, 1983.","DOI":"10.1016\/0304-3975(83)90114-7"},{"key":"2_CR19","unstructured":"Milner, R., Parrow, J.G. and Walker, D.J., A Calculus of Mobile Processes. Part I. ECS-LFCS-89-85, Edinburgh University, 1989"},{"key":"2_CR20","unstructured":"Milner, R., Parrow, J.G. and Walker, D.J., A Calculus of Mobile Processes. Part II. ECS-LFCS-89-86, Edinburgh University, 1989"},{"key":"2_CR21","unstructured":"Milner, R., Communication and Concurrency. Prentice Hall, 1989."},{"key":"2_CR22","doi-asserted-by":"crossref","unstructured":"Milner, R., Functions as Processes. In Automata, Language and Programming, LNCS 443, 1990. The extended version under the same title as Rapports de Recherche No. 1154, INRIA-Sophia Antipolis, February 1990.","DOI":"10.1007\/BFb0032030"},{"key":"2_CR23","doi-asserted-by":"crossref","unstructured":"de Nicola, E., and Hennessy, M., Testing Equivalence for Processes. Theoretical Computer Science, 34, 1983.","DOI":"10.1007\/BFb0036936"},{"key":"2_CR24","doi-asserted-by":"crossref","unstructured":"Nielson and Engberg, A Calculus of Communicating Systems with Label Passing. Research Report DAIMI PB-208, Computer Science Department, University of Aarhus, 1986.","DOI":"10.7146\/dpb.v15i208.7559"},{"key":"2_CR25","unstructured":"Nierstrasz, O., A Guide to Specifying Concurrent Behaviour with Abacus. in [29]."},{"key":"2_CR26","doi-asserted-by":"crossref","unstructured":"Nierstrasz, O., Towards an Object Calculus, in this volume, 1992.","DOI":"10.1007\/3-540-55613-3_1"},{"key":"2_CR27","unstructured":"Park, D., Concurrency and Automata on Infinite Sequences. LNCS 104, Springer-Verlag, 1980."},{"key":"2_CR28","unstructured":"Tokoro, M., Toward Computing Systems in the 2000's. Operating Systems of the 90s and Beyond, LNCS 563, Springer Verlag, 1992."},{"key":"2_CR29","unstructured":"Tsichritzis, D., ed. Object Management. Centre Universitaire D'informatique, Universite de Geneve, July 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_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T04:31:20Z","timestamp":1640925080000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55613-3_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540556138","9783540472605"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/3-540-55613-3_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}