{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T05:40:08Z","timestamp":1737351608925,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540657194"},{"type":"electronic","value":"9783540490197"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-49019-1_12","type":"book-chapter","created":{"date-parts":[[2007,8,7]],"date-time":"2007-08-07T05:47:45Z","timestamp":1186465665000},"page":"165-179","source":"Crossref","is-referenced-by-count":4,"title":["A Theory of \u201cMay\u201d Testing for Asynchronous Languages"],"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":[[2003,5,13]]},"reference":[{"key":"12_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1007\/3-540-61604-7_53","volume-title":"CONCUR\u201996","author":"R. M. Amadio","year":"1996","unstructured":"R. M. Amadio, I. Castellani, D. Sangiorgi. On Bisimulations for the Asynchronous \u03c0-calculus. CONCUR\u201996, LNCS 1119, pp.147\u2013162, Springer, 1996."},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"M. Abadi, A. D. Gordon: A calculus for cryptographic protocols: The Spi calculus. Proc. 4th ACM Confeence on Computer and Communication Security, ACM Press, 1997.","DOI":"10.1145\/266420.266432"},{"key":"12_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S095679689700261X","volume":"7","author":"G. A. Agha","year":"1997","unstructured":"G. A. Agha, I. A. Mason, S. F. Smith, C. L. Talcott. A foundation for actor computation. Journal of Functional Programming, 7:1\u201372, 1997.","journal-title":"Journal of Functional Programming"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"F. S. de Boer, J. W. Klop, C. Palamidessi. Asynchronous Communication in Process Algebra. LICS\u201992, IEEE Computer Society Press, pp. 137\u2013147, 1992.","DOI":"10.1109\/LICS.1992.185528"},{"key":"12_CR5","series-title":"Lect Notes Comput Sci","first-page":"111","volume-title":"CONCUR\u201991","author":"F. S. Boer de","year":"1991","unstructured":"F. S. de Boer, J. N. Kok, C. Palamidessi, J. J. M. M. Rutten. The Failure of Failures in a Paradigm for Asynchronous Communication. CONCUR\u201991, LNCS 527, pages 111\u2013126, Springer, 1991."},{"key":"12_CR6","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":"12_CR7","series-title":"Lect Notes Comput Sci","volume-title":"FoSSaCS\u201998","author":"M. Boreale","year":"1998","unstructured":"M. Boreale, R. De Nicola, R. Pugliese. Asynchronous Observations of Processes. FoSSaCS\u201998, LNCS, Springer, 1998."},{"key":"12_CR8","unstructured":"G. Boudol. Asynchrony in the \u03c0-calculus (note). Rapport de Recherche 1702, INRIA Sophia-Antipolis, 1992."},{"key":"12_CR9","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":"12_CR10","series-title":"Lect Notes Comput Sci","volume-title":"Proc. FSTTCS","author":"I. Castellani","year":"1998","unstructured":"I. Castellani, M. Hennesy. Testing Theories for Asynchronous Languages. Proc. FSTTCS, LNCS, to appear Dec. 1998."},{"key":"12_CR11","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":"12_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"160","DOI":"10.1007\/3-540-61052-9_45","volume-title":"COORDINATION\u201996","author":"R. Nicola De","year":"1996","unstructured":"R. De Nicola, R. Pugliese. A Process Algebra based on Linda. COORDINATION\u201996, LNCS 1061, pp.160\u2013178, Springer, 1996."},{"issue":"1","key":"12_CR13","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1145\/2363.2433","volume":"7","author":"D. Gelernter","year":"1985","unstructured":"D. Gelernter. Generative Communication in Linda. ACM Transactions on Programming Languages and Systems, 7(1):80\u2013112, 1985.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"12_CR14","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":"12_CR15","unstructured":"M. C. B. Hennessy. Algebraic Theory of Processes. The MIT Press, 1988."},{"key":"12_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/BFb0057019","volume-title":"ECOOP\u201991","author":"K. Honda","year":"1991","unstructured":"K. Honda, M. Tokoro. An Object Calculus for Asynchronous Communication. ECOOP\u201991, LNCS 512, pp.133\u2013147, Springer, 1991."},{"key":"12_CR17","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":"12_CR18","unstructured":"R. Milner. The Polyadic \u03c0-calculus: A Tutorial. Technical Report, University of Edinburgh, 1991."},{"issue":"2","key":"12_CR19","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1006\/inco.1995.1108","volume":"120","author":"J. Parrow","year":"1995","unstructured":"J. Parrow, D. Sangiorgi. Algebraic theories for name-passing calculi. Information and Computation, 120(2):174\u2013197, 1995.","journal-title":"Information and Computation"},{"key":"12_CR20","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":"12_CR21","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\/3-540-49019-1_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T05:00:50Z","timestamp":1737349250000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49019-1_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540657194","9783540490197"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-49019-1_12","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}