{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T17:35:26Z","timestamp":1725730526851},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642389153"},{"type":"electronic","value":"9783642389160"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-38916-0_13","type":"book-chapter","created":{"date-parts":[[2013,6,9]],"date-time":"2013-06-09T22:13:47Z","timestamp":1370816027000},"page":"214-231","source":"Crossref","is-referenced-by-count":8,"title":["Divergent Quiescent Transition Systems"],"prefix":"10.1007","author":[{"given":"Willem G. J.","family":"Stokkink","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mark","family":"Timmer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mari\u00eblle I. A.","family":"Stoelinga","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","unstructured":"Vaandrager, F.W.: On the relationship between process algebra and input\/output automata (extended abstract). In: Proceedings of the 6th Annual Symposium on Logic in Computer Science (LICS), pp. 387\u2013398. IEEE Computer Society (1991)"},{"key":"13_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/3-540-61042-1_42","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"J. Tretmans","year":"1996","unstructured":"Tretmans, J.: Test generation with inputs, outputs, and quiescence. In: Margaria, T., Steffen, B. (eds.) TACAS 1996. LNCS, vol.\u00a01055, pp. 127\u2013146. Springer, Heidelberg (1996)"},{"issue":"3","key":"13_CR3","first-page":"103","volume":"17","author":"J. Tretmans","year":"1996","unstructured":"Tretmans, J.: Test generation with inputs, outputs and repetitive quiescence. Software - Concepts and Tools\u00a017(3), 103\u2013120 (1996)","journal-title":"Software - Concepts and Tools"},{"key":"13_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-78917-8_1","volume-title":"Formal Methods and Testing","author":"J. Tretmans","year":"2008","unstructured":"Tretmans, J.: Model based testing with labelled transition systems. In: Hierons, R.M., Bowen, J.P., Harman, M. (eds.) FORTEST. LNCS, vol.\u00a04949, pp. 1\u201338. Springer, Heidelberg (2008)"},{"issue":"4","key":"13_CR5","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/s10009-004-0153-x","volume":"7","author":"C. Jard","year":"2005","unstructured":"Jard, C., J\u00e9ron, T.: TGV: theory, principles and algorithms. International Journal on Software Tools for Technology Transfer\u00a07(4), 297\u2013315 (2005)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"13_CR6","first-page":"219","volume":"2","author":"N.A. Lynch","year":"1989","unstructured":"Lynch, N.A., Tuttle, M.R.: An introduction to input\/output automata. CWI Quarterly\u00a02, 219\u2013246 (1989)","journal-title":"CWI Quarterly"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"Stokkink, W.G.J., Timmer, M., Stoelinga, M.I.A.: Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation. In: Proceedings of the 7th Workshop on Model-Based Testing (MBT). EPTCS, vol.\u00a080, pp. 73\u201387 (2012)","DOI":"10.4204\/EPTCS.80.6"},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"Stokkink, W.G.J., Timmer, M., Stoelinga, M.I.A.: Divergent quiescent transition systems (extended version). Technical Report TR-CTIT-13-08, University of Twente (2013)","DOI":"10.1007\/978-3-642-38916-0_13"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"Lynch, N.A., Tuttle, M.R.: Hierarchical correctness proofs for distributed algorithms. In: Proceedings of the 6th Annual ACM Symposium on Principles of Distributed Computing (PODC), pp. 137\u2013151. ACM (1987)","DOI":"10.1145\/41840.41852"},{"key":"13_CR10","unstructured":"Sudkamp, T.A.: Languages and machines. Pearson Addison Wesley (2006)"},{"key":"13_CR11","unstructured":"Baier, C., Katoen, J.P.: Principles of Model Checking. The MIT Press (2008)"},{"key":"13_CR12","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1016\/0304-3975(95)92307-J","volume":"138","author":"R. Nicola De","year":"1995","unstructured":"De Nicola, R., Segala, R.: A process algebraic view of input\/output automata. Theoretical Computer Science\u00a0138, 391\u2013423 (1995)","journal-title":"Theoretical Computer Science"},{"key":"13_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/978-3-540-70952-7_9","volume-title":"Formal Methods: Applications and Technology","author":"T.A.C. Willemse","year":"2007","unstructured":"Willemse, T.A.C.: Heuristics for ioco-based test-based modelling. In: Brim, L., Haverkort, B.R., Leucker, M., van de Pol, J. (eds.) FMICS 2006 and PDMC 2006. LNCS, vol.\u00a04346, pp. 132\u2013147. Springer, Heidelberg (2007)"},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"Tarjan, R.E.: Depth-first search and linear graph algorithms (working paper). In: Proceedings of the 12th Annual Symposium on Switching and Automata Theory (SWAT), pp. 114\u2013121. IEEE Computer Society (1971)","DOI":"10.1109\/SWAT.1971.10"},{"issue":"1-4","key":"13_CR15","doi-asserted-by":"crossref","first-page":"175","DOI":"10.3233\/FI-2000-43123409","volume":"43","author":"T. Latvala","year":"2000","unstructured":"Latvala, T., Heljanko, K.: Coping with strong fairness. Fundamenta Informaticae\u00a043(1-4), 175\u2013193 (2000)","journal-title":"Fundamenta Informaticae"},{"key":"13_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/3-540-36387-4_1","volume-title":"Automata, Logics, and Infinite Games","author":"B. Farwer","year":"2002","unstructured":"Farwer, B.: \u03c9-automata. In: Gr\u00e4del, E., Thomas, W., Wilke, T. (eds.) Automata, Logics, and Infinite Games. LNCS, vol.\u00a02500, pp. 3\u201321. Springer, Heidelberg (2002)"},{"key":"13_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/3-540-61422-2_117","volume-title":"Algorithm Theory - SWAT \u201996","author":"M.R. Henzinger","year":"1996","unstructured":"Henzinger, M.R., Telle, J.A.: Faster algorithms for the nonemptiness of Streett automata and for communication protocol pruning. In: Karlsson, R., Lingas, A. (eds.) SWAT 1996. LNCS, vol.\u00a01097, pp. 16\u201327. Springer, Heidelberg (1996)"},{"key":"13_CR18","series-title":"NATO Science for Peace and Security Series D","first-page":"1","volume-title":"Software and Systems Safety: Specification and Verification","author":"M. Timmer","year":"2011","unstructured":"Timmer, M., Brinksma, E., Stoelinga, M.I.A.: Model-based testing. In: Software and Systems Safety: Specification and Verification. NATO Science for Peace and Security Series D, vol.\u00a030, pp. 1\u201332. IOS Press, Amsterdam (2011)"}],"container-title":["Lecture Notes in Computer Science","Tests and Proofs"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-38916-0_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,27]],"date-time":"2020-07-27T22:15:41Z","timestamp":1595888141000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-38916-0_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642389153","9783642389160"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-38916-0_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}