{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:40:55Z","timestamp":1725565255385},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540223818"},{"type":"electronic","value":"9783540278153"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-27815-3_39","type":"book-chapter","created":{"date-parts":[[2010,9,14]],"date-time":"2010-09-14T04:32:16Z","timestamp":1284438736000},"page":"521-536","source":"Crossref","is-referenced-by-count":4,"title":["Techniques for Executing and Reasoning about Specification Diagrams"],"prefix":"10.1007","author":[{"given":"Prasanna","family":"Thati","sequence":"first","affiliation":[]},{"given":"Carolyn","family":"Talcott","sequence":"additional","affiliation":[]},{"given":"Gul","family":"Agha","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"39_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":"Agha, G.: Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge (1986)"},{"issue":"2","key":"39_CR2","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1006\/inco.2001.3080","volume":"172","author":"M. Boreale","year":"2002","unstructured":"Boreale, M., De Nicola, R., Pugliese, R.: Trace and testing equivalence on asynchronous processes. Information and Computation\u00a0172(2), 139\u2013164 (2002)","journal-title":"Information and Computation"},{"key":"39_CR3","unstructured":"Boudol, G.: Asynchrony and the \u03c0-Calculus. Technical Report 1702, INRIA Technical Report (May 1992)"},{"key":"39_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1007\/978-3-540-49382-2_9","volume-title":"Foundations of Software Technology and Theoretical Computer Science","author":"I. Castellani","year":"1998","unstructured":"Castellani, I., Hennessy, M.: Testing theories for asynchronous languages. In: Arvind, V., Sarukkai, S. (eds.) FST TCS 1998. LNCS, vol.\u00a01530, pp. 90\u2013101. Springer, Heidelberg (1998)"},{"key":"39_CR5","doi-asserted-by":"crossref","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Quesada, J.F.: Towards Maude 2.0. In: International Workshop on Rewriting Logic and its Applications. Electronic Notes in Theoretical Computer Science, vol.\u00a036, pp. 297\u2013318 (2000)","DOI":"10.1016\/S1571-0661(05)80137-9"},{"key":"39_CR6","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1016\/1385-7258(72)90034-0","volume":"75","author":"N.G. Bruijn de","year":"1972","unstructured":"de Bruijn, N.G.: Lambda calculus with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem. Proc. Kninkl. Nederl. Akademie van Wetenschappen\u00a075, 381\u2013392 (1972)","journal-title":"Proc. Kninkl. Nederl. Akademie van Wetenschappen"},{"key":"39_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-3228-5","volume-title":"Predicate Calculus and Program Semantics","author":"E.W. Dijkstra","year":"1990","unstructured":"Dijkstra, E.W., Scholten, C.S.: Predicate Calculus and Program Semantics. Springer, Heidelberg (1990)"},{"key":"39_CR8","volume-title":"Algebraic Theory of Processes","author":"M. Hennessy","year":"1988","unstructured":"Hennessy, M.: Algebraic Theory of Processes. MIT Press, Cambridge (1988)"},{"key":"39_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/BFb0057019","volume-title":"ECOOP \u201991 European Conference on Object-Oriented Programming","author":"K. Honda","year":"1991","unstructured":"Honda, K., Tokoro, M.: An Object Calculus for Asynchronous Communication. In: America, P. (ed.) ECOOP 1991. LNCS, vol.\u00a0512, pp. 133\u2013147. Springer, Heidelberg (1991)"},{"key":"39_CR10","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1016\/B978-044482830-9\/50025-4","volume-title":"Handbook of Process Algebra","author":"A. Ingolfsdottir","year":"2001","unstructured":"Ingolfsdottir, A., Lin, H.: A symbolic approach to value passing processes. In: Handbook of Process Algebra, pp. 427\u2013478. Elsevier Publishing, Amsterdam (2001)"},{"key":"39_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"856","DOI":"10.1007\/BFb0055108","volume-title":"Automata, Languages and Programming","author":"M. Merro","year":"1998","unstructured":"Merro, M., Sangiorgi, D.: On Asynchrony in Name-Passing Calculi. In: Larsen, K.G., Skyum, S., Winskel, G. (eds.) ICALP 1998. LNCS, vol.\u00a01443, p. 856. Springer, Heidelberg (1998)"},{"key":"39_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"384","DOI":"10.1007\/BFb0039072","volume-title":"CONCUR \u201990","author":"J. Meseguer","year":"1990","unstructured":"Meseguer, J.: Rewriting as a unified model of concurrency. In: Baeten, J.C.M., Klop, J.W. (eds.) CONCUR 1990. LNCS, vol.\u00a0458, pp. 384\u2013400. Springer, Heidelberg (1990)"},{"key":"39_CR13","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)"},{"key":"39_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes (Parts I and II). Information and Computation\u00a0100, 1\u201377 (1992)","journal-title":"Information and Computation"},{"key":"39_CR15","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/0304-3975(84)90113-0","volume":"34","author":"R. Nicola De","year":"1984","unstructured":"De Nicola, R., Hennessy, M.: Testing equivalence for processes. Theoretical Computer Science\u00a034, 83\u2013133 (1984)","journal-title":"Theoretical Computer Science"},{"key":"39_CR16","unstructured":"Plotkin, G.D.: A structural approach to operational semantics. Technical Report DAIMI FN-19, Computer Science Dept., Aarhus University (September 1981)"},{"key":"39_CR17","unstructured":"ITU-T Recommendation Z.120. Message sequence charts (1996)"},{"key":"39_CR18","volume-title":"Unified Modeling Language Reference Manual","author":"J. Rumbaugh","year":"1998","unstructured":"Rumbaugh, J., Jacobson, I., Booch, G.: Unified Modeling Language Reference Manual. Addison-Wesely, Reading (1998)"},{"key":"39_CR19","volume-title":"Formal Methods in Object-Oriented Distributed Systems","author":"S. Smith","year":"1999","unstructured":"Smith, S., Talcott, C.: Modular reasoning for actor specification diagrams. In: Formal Methods in Object-Oriented Distributed Systems, Kluwer Academic Publishers, Dordrecht (1999)"},{"key":"39_CR20","doi-asserted-by":"crossref","unstructured":"Smith, S., Talcott, C.: Specification diagrams for actor systems. In: Higher-Order and Symbolic Computation (2002) (to appear)","DOI":"10.1023\/A:1022934504959"},{"key":"39_CR21","doi-asserted-by":"crossref","unstructured":"Stehr, M.O.: CINNI \u2014 A generic calculus of explicit substitutions and its application to \u03bb-, \u03c2- and \u03c0-calculi. In: International Workshop on Rewriting Logic and its Applications. Electronic Notes in Theoretical Computer Science, vol.\u00a036, pp. 71\u201392 (2000)","DOI":"10.1016\/S1571-0661(05)80125-2"},{"key":"39_CR22","doi-asserted-by":"crossref","unstructured":"Thati, P., Sen, K., Mart\u00ed-Oliet, N.: An executable specification of asynchronous \u03c0-calculus and may testing in Maude 2.0. In: International Workshop on Rewriting Logic and its Applications. Electronic Notes in Theoretical Computer Science, vol.\u00a071 (2002)","DOI":"10.1016\/S1571-0661(05)82539-3"},{"key":"39_CR23","doi-asserted-by":"crossref","unstructured":"Thati, P., Ziaei, R., Agha, G.: A theory of may testing for actors. In: Formal Methods for Open Object-based Distributed Systems (March 2002)","DOI":"10.1007\/978-0-387-35496-5_11"},{"key":"39_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"222","DOI":"10.1007\/3-540-45719-4_16","volume-title":"Algebraic Methodology and Software Technology","author":"P. Thati","year":"2002","unstructured":"Thati, P., Ziaei, R., Agha, G.: A theory of may testing for asynchronous calculi with locality and no name matching. In: Kirchner, H., Ringeissen, C. (eds.) AMAST 2002. LNCS, vol.\u00a02422, pp. 222\u2013238. Springer, Heidelberg (2002)"},{"key":"39_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/3-540-36135-9_19","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2002","author":"A. Verdejo","year":"2002","unstructured":"Verdejo, A.: Building tools for lotos symbolic semantics in maude. In: Peled, D.A., Vardi, M.Y. (eds.) FORTE 2002. LNCS, vol.\u00a02529, pp. 292\u2013307. Springer, Heidelberg (2002)"},{"key":"39_CR26","doi-asserted-by":"crossref","unstructured":"Verdejo, A., Mart\u00ed-Oliet, N.: Implementing CCS in Maude 2. In: International Conference on Rewriting Logic and its Applications. Electronic Notes in Theoretical Computer Science, vol.\u00a071 (2002)","DOI":"10.1016\/S1571-0661(05)82540-X"}],"container-title":["Lecture Notes in Computer Science","Algebraic Methodology and Software Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27815-3_39.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,9]],"date-time":"2021-11-09T20:45:50Z","timestamp":1636490750000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27815-3_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540223818","9783540278153"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27815-3_39","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}