{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T03:18:46Z","timestamp":1775013526695,"version":"3.50.1"},"reference-count":26,"publisher":"Pleiades Publishing Ltd","issue":"5","license":[{"start":{"date-parts":[[2010,9,1]],"date-time":"2010-09-01T00:00:00Z","timestamp":1283299200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2010,9,1]],"date-time":"2010-09-01T00:00:00Z","timestamp":1283299200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Program Comput Soft"],"published-print":{"date-parts":[[2010,9]]},"DOI":"10.1134\/s0361768810050014","type":"journal-article","created":{"date-parts":[[2010,9,21]],"date-time":"2010-09-21T02:24:48Z","timestamp":1285035888000},"page":"247-263","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Interaction semantics with refusals, divergence, and destruction"],"prefix":"10.1134","volume":"36","author":[{"given":"I. B.","family":"Bourdonov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. S.","family":"Kossatchev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"137","published-online":{"date-parts":[[2010,9,22]]},"reference":[{"key":"6077_CR1","doi-asserted-by":"crossref","unstructured":"Bourdonov, I.B., Kossatchev, A.S., and Kuliamin, V.V., Formalization of Test Experiments, Programmirovanie, 2007, no. 5, pp. 3\u201332 [Programming Comput. Software (Engl. Transl.), 2007, vol. 33, no. 5, pp. 239\u2013260].","DOI":"10.1134\/S0361768807050015"},{"key":"6077_CR2","volume-title":"Doctoral (Math.) Dissertation","author":"I.B. Bourdonov","year":"2008","unstructured":"Bourdonov, I.B., Conformance Theory for the Functional Testing of Software Systems Based on Formal Models, Doctoral (Math.) Dissertation, Moscow: Institute for System Programming, Russian Academy of Sciences, 2008; http:\/\/www.ispras.ru\/~RedVerst\/Red-Verst\/Publications\/TR-01-2007.pdf."},{"key":"6077_CR3","doi-asserted-by":"crossref","unstructured":"van Glabbeek, R.J., The Linear Time-Branching Time Spectrum, Proc. of CONCUR\u201990, Baeten, J.C.M. and Klop, J.W., Eds., Lect. Notes Comput. Sci., 1990, vol. 458, pp. 278\u2013297.","DOI":"10.1007\/BFb0039066"},{"key":"6077_CR4","first-page":"66","volume-title":"Lect. Notes Comput. Sci.","author":"R.J. van Glabbeek","year":"1993","unstructured":"van Glabbeek, R.J., The Linear Time-Branching Time Spectrum II: The Semantics of Sequential Processes with Silent Moves, Proc. of CONCUR\u201993, Hildesheim, Germany, 1993, Best, E., Ed., Lect. Notes Comput. Sci., 1993, vol. 715, pp. 66\u201381."},{"key":"6077_CR5","doi-asserted-by":"crossref","unstructured":"Milner, R., Modal Characterization of Observable Machine Behavior, Proc. CAAP, 1981, Astesiano, G. and Bohm, C. Eds., Lect. Notes Comput. Sci., 1981, vol. 112, pp. 25\u201334.","DOI":"10.1007\/3-540-10828-9_52"},{"key":"6077_CR6","volume-title":"Procesalgebra. Programmatuurkunde","author":"J.C.M. Baeten","year":"1986","unstructured":"Baeten, J.C.M., Procesalgebra. Programmatuurkunde, Deventer: Kluwer, 1986."},{"key":"6077_CR7","unstructured":"Langerak, R., A Testing Theory for LOTOS Using Deadlock Detection, in Protocol Specification, Testing, and Verification IX, Brinksma, E., Scollo, G., and Vissers, C.A., Eds., North-Holland, 1990, pp. 87\u201398."},{"issue":"2","key":"6077_CR8","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1016\/0304-3975(87)90117-4","volume":"50","author":"I. Phillips","year":"1987","unstructured":"Phillips, I., Refusal Testing, Theor. Comput. Sci., 1987, vol. 50, no. 2, pp. 241\u2013284.","journal-title":"Theor. Comput. Sci."},{"key":"6077_CR9","doi-asserted-by":"crossref","unstructured":"Tretmans, J., Test Generation with Inputs, Outputs and Repetitive Quiescence, Software Concepts and Tools, 1996, vol. 17, no. 3.","DOI":"10.1007\/3-540-61042-1_42"},{"issue":"1","key":"6077_CR10","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/S0169-7552(96)00017-7","volume":"29","author":"J. Tretmans","year":"1996","unstructured":"Tretmans, J., Conformance Testing with Labelled Transition Systems: Implementation Relations and Test Generation, Comput. Networks ISDN Systems, 1996, vol. 29, no. 1, pp. 49\u201379.","journal-title":"Comput. Networks ISDN Systems"},{"key":"6077_CR11","volume-title":"Ins and Outs in Refusal Testing","author":"L. Heerink","year":"1998","unstructured":"Heerink, L., Ins and Outs in Refusal Testing, PhD Thesis, Enschede, Netherlands: Univ. of Twente, 1998."},{"issue":"10","key":"6077_CR12","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C.A.R. Hoare","year":"1969","unstructured":"Hoare, C.A.R., An Axiomatic Basis for Computer Programming, Commun. ACM, 1969, vol. 12, no. 10, pp. 576\u2013585.","journal-title":"Commun. ACM"},{"key":"6077_CR13","unstructured":"Bourdonov, I.B. and Kossatchev, A.S., Equivalent Interaction Semantics, in Trudy ISP RAN, 2008, no. 14.1, pp. 55\u201372."},{"key":"6077_CR14","volume-title":"Software Development Technologies: Component-based Approach","author":"V.V. Kuliamin","year":"2007","unstructured":"Kuliamin, V.V., Software Development Technologies: Component-based Approach, Moscow: BiINOM, 2007."},{"key":"6077_CR15","unstructured":"Milner, R., Communication and Concurrency, PrenticeHall, 1989."},{"key":"6077_CR16","doi-asserted-by":"crossref","unstructured":"Jard, C., J\u00e9ron, T., Tanguy, L., and Viho, C., Remote Testing Can Be as Powerful as Local Testing, Formal Methods for Protocol Engineering and Distributed Systems, FORTE XII\/PSTV XIX\u201999, Wu, J., Chanson, S., and Gao, Q., Eds., Beijing, 1999, pp. 25\u201340.","DOI":"10.1007\/978-0-387-35578-8_2"},{"key":"6077_CR17","volume-title":"Teoriya sootvetstviya dlya sistem s blokirovkami i razrusheniem","author":"I.B. Bourdonov","year":"2008","unstructured":"Bourdonov, I.B., Kossatchev, A.S., and Kuliamin, V.V., Teoriya sootvetstviya dlya sistem s blokirovkami i razrusheniem (Conformance Theory for Systems with Refusals and Destruction), Moscow: Nauka, 2008."},{"key":"6077_CR18","volume-title":"Testing Large Software Systems for Conformance to Requirements","author":"V.V. Lipaev","year":"2008","unstructured":"Lipaev, V.V., Testing Large Software Systems for Conformance to Requirements, Moscow: Globus, 2008."},{"key":"6077_CR19","doi-asserted-by":"crossref","unstructured":"van der Bijl, M., Resnik, A., and Tretmans, J., Compositional Testing with ioco, in Formal Approaches to Software Testing, Third Int. Workshop FATES 2003, Montreal, Quebec, 2003; Lect. Notes Comput. Sci., 2003, vol. 2931, pp. 86\u2013100.","DOI":"10.1007\/978-3-540-24617-6_7"},{"key":"6077_CR20","unstructured":"van der Bijl, M., Resnik, A., and Tretmans, J., Component Based Testing with ioco, CTIT Technical Report TR-CTIT-03-34, University of Twente, 2003."},{"key":"6077_CR21","unstructured":"Revised Working Draft on \u201cFramework: Formal Methods in Conformance Testing,\u201d JTC1\/SC21\/WG1\/Project 54\/1, in ISO INterim Meeting\/ITU-T, Paris, 1995."},{"key":"6077_CR22","doi-asserted-by":"crossref","unstructured":"Bourdonov, I.B. and Kossatchev, A.S., Systems with Priorities: Conformance, Testing, and Composition, Programmirovanie, 2009, no. 4, pp. 24\u201340 [Programming Comput. Software (Engl. Transl.), 2009, vol. 35, no. 4, pp. 198\u2013211].","DOI":"10.1134\/S0361768809040045"},{"key":"6077_CR23","unstructured":"Bourdonov, I.B. and Kossatchev, A.S., Testing Conformance Based on State Correspondence, Trudy ISP RAN, 2010, no. 18."},{"key":"6077_CR24","unstructured":"Bourdonov, I.B. and Kossatchev, A.S., Generalized Semantics of Test Interaction, in Trudy ISP RAN, 2008, no. 15, pp. 69\u2013106."},{"key":"6077_CR25","doi-asserted-by":"crossref","unstructured":"Bourdonov, I.B. and Kossatchev, A.S., Complete Open-State Testing of Limitedly Nondeterministic Systems, Programmirovanie, 2009, no. 6, pp. 3\u201318 [Programming Comput. Software (Engl. Transl.), 2009, vol. 35, no. 4, pp. 301\u2013313].","DOI":"10.1134\/S0361768809060012"},{"key":"6077_CR26","unstructured":"Bourdonov, I.B. and Kossatchev, A.S., Testing with Semantics Transformation, in Trudy ISP RAN, 2009, no. 17, pp. 193\u2013208."}],"container-title":["Programming and Computer Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768810050014.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1134\/S0361768810050014","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768810050014","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768810050014.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T02:09:04Z","timestamp":1775009344000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1134\/S0361768810050014"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,9]]},"references-count":26,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2010,9]]}},"alternative-id":["6077"],"URL":"https:\/\/doi.org\/10.1134\/s0361768810050014","relation":{},"ISSN":["0361-7688","1608-3261"],"issn-type":[{"value":"0361-7688","type":"print"},{"value":"1608-3261","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,9]]},"assertion":[{"value":"17 December 2009","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 September 2010","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}