{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,9]],"date-time":"2025-01-09T07:40:25Z","timestamp":1736408425361,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540643005"},{"type":"electronic","value":"9783540697206"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0053544","type":"book-chapter","created":{"date-parts":[[2006,6,7]],"date-time":"2006-06-07T05:19:46Z","timestamp":1149657586000},"page":"95-109","source":"Crossref","is-referenced-by-count":4,"title":["Asynchronous Observations of Processes"],"prefix":"10.1007","author":[{"given":"Michele","family":"Boreale","sequence":"first","affiliation":[]},{"given":"Rocco","family":"De Nicola","sequence":"additional","affiliation":[]},{"given":"Rosario","family":"Pugliese","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,23]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1086.001.0001","volume-title":"Actors: a model of concurrent computation in Distributed Systems","author":"G. Agha","year":"1986","unstructured":"G.Agha. Actors: a model of concurrent computation in Distributed Systems. Mit-Press, Boston, 1986."},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"R.M. Amadio, I. Castellani, D. Sangiorgi. On Bisimulations for the Asynchronous \u03c0-calculus. CONCUR'96, LNCS 1119, pp.147\u2013162, Springer, 1996.","DOI":"10.1007\/3-540-61604-7_53"},{"key":"7_CR3","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/S0019-9958(84)80025-X","volume":"60","author":"J. Bergstra","year":"1984","unstructured":"J. Bergstra, J.W. Klop. Process Algebra for Synchronous Communication. Information and Control, 60:109\u2013137, 1984.","journal-title":"Information and Control"},{"key":"7_CR4","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1006\/inco.1995.1114","volume":"120","author":"M. Boreale","year":"1995","unstructured":"M. Boreale, R. De Nicola. Testing Equivalence for Mobile Systems. Information and Computation, 120: 279\u2013303, 1995.","journal-title":"Information and Computation"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"M. Boreale, R. De Nicola, R. Pugliese. Basic Observables for Processes. ICALP'97, LNCS 1256, pp.482\u2013492, Springer, 1997.","DOI":"10.1007\/3-540-63165-8_204"},{"key":"7_CR6","unstructured":"G. Boudol. Asynchrony in the \u03c0-calculus (note). Rapport de Recherche 1702, IN-RIA Sophia-Antipolis, 1992."},{"issue":"3","key":"7_CR7","doi-asserted-by":"publisher","first-page":"560","DOI":"10.1145\/828.833","volume":"31","author":"S.D. Brookes","year":"1984","unstructured":"S.D. Brookes, C.A.R. Hoare, A.W. Roscoe. A theory of communicating sequential processes. Journal of the ACM, 31(3):560\u2013599, 1984.","journal-title":"Journal of the ACM"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"N. Busi, R. Gorrieri, G-L. Zavattaro. A process algebraic view of Linda coordination primitives. Technical Report UBLCS-97-05, University of Bologna, 1997.","DOI":"10.1016\/S1571-0661(05)80467-0"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"F.S. de Boer, J.W. Klop, C. Palamidessi. Asynchronous Communication in Process Algebra. LICS'92, IEEE Computer Society Press, pp. 137\u2013147, 1992.","DOI":"10.1109\/LICS.1992.185528"},{"key":"7_CR10","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/0304-3975(84)90113-0","volume":"34","author":"R. Nicola De","year":"1984","unstructured":"R. De Nicola, M.C.B. Hennessy. Testing Equivalence for Processes. Theoretical Computers Science, 34:83\u2013133, 1984.","journal-title":"Theoretical Computers Science"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"R. De Nicola, R. Pugliese. A Process Algebra based on Linda. COORDINATION'96, LNCS 1061, pp.160\u2013178, Springer, 1996.","DOI":"10.1007\/3-540-61052-9_45"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"M. Hansen, H. Huttel, J. Kleist. Bisimulations for Asynchronous Mobile Processes. In Proc. of the Tblisi Symposium on Language, Logic, and Computation, 1995.","DOI":"10.7146\/brics.v3i8.19971"},{"key":"7_CR13","unstructured":"M.C.B. Hennessy. Algebraic Theory of Processes. The MIT Press, 1988."},{"key":"7_CR14","unstructured":"C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall Int., 1985."},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"K. Honda, M. Tokoro. An Object Calculus for Asynchronous Communication. ECOOP'91, LNCS 512, pp.133-147, Springer, 1991.","DOI":"10.1007\/BFb0057019"},{"key":"7_CR16","unstructured":"H. Jifeng, M.B. Josephs, C.A.R. Hoare. A Theory of Synchrony and Asynchrony. Proc. of the IFIP Working Conf. on Programming Concepts and Methods, pp.446\u2013465, 1990."},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"N.A. Lynch, M.R. Tuttle. Hierarchical correctness proofs for distributed algorithms. In 6 th ACM Symposium on Principles of Distributed Computing, pp.137\u2013151, 1987.","DOI":"10.1145\/41840.41852"},{"key":"7_CR18","unstructured":"R. Milner. Communication and Concurrency. Prentice Hall International, 1989."},{"key":"7_CR19","unstructured":"R. Milner. The Polyadic \u03c0-calculus: A Tutorial. Technical Report, University of Edinburgh, 1991."},{"key":"7_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"R. Milner, J. Parrow, D. Walker. A calculus of mobile processes, (Part I and II). Information and Computation, 100:1\u201377, 1992.","journal-title":"Information and Computation"},{"key":"7_CR21","unstructured":"R. Pugliese. A Process Calculus with Asynchronous Communications. 5th Italian Conference on Theoretical Computer Science, (A. De Santis, ed.), pp.295\u2013310, World Scientific, 1996."},{"key":"7_CR22","unstructured":"J. Tretmans. A formal approach to conformance testing. Ph.D. Thesis, University of Twente, 1992."}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computation Structures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0053544","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,9]],"date-time":"2025-01-09T07:09:33Z","timestamp":1736406573000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0053544"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540643005","9783540697206"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/bfb0053544","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}