{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:09:52Z","timestamp":1725664192869},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540606925"},{"type":"electronic","value":"9783540492634"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60692-0_67","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T20:53:28Z","timestamp":1330289608000},"page":"456-470","source":"Crossref","is-referenced-by-count":1,"title":["Determinizing B\u00fcchi asynchronous automata"],"prefix":"10.1007","author":[{"given":"Nils","family":"Klarlund","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Madhavan","family":"Mukund","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Milind","family":"Sohoni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"32_CR1","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1007\/BF01178512","volume":"31","author":"V. Diekert","year":"1994","unstructured":"V. Diekert, A. Muscholl: Deterministic asynchronous automata for infinite traces, Acta Inf., 31 (1994) 379\u2013397.","journal-title":"Acta Inf."},{"key":"32_CR2","first-page":"335","volume":"700","author":"W. Ebinger","year":"1993","unstructured":"W. Ebinger, A. Muscholl: Logical definability on infinite traces, Proc. ICALP '93, LNCS700 (1993) 335\u2013346.","journal-title":"Proc. ICALP '93, LNCS"},{"key":"32_CR3","first-page":"583","volume":"623","author":"P. Gastin","year":"1992","unstructured":"P. Gastin, A. Petit: Asynchronous cellular automata for infinite traces, Proc. ICALP '92, LNCS623 (1992) 583\u2013594.","journal-title":"Proc. ICALP '92, LNCS"},{"key":"32_CR4","volume-title":"Report RS-95-21","author":"J.G. Henriksen","year":"1995","unstructured":"J.G. Henriksen, J. Jensen, M. J\u00f8rgensen, N. Klarlund, B. Paige, T. Rauhe, A. Sandholm: Mona: Monadic Second-order logic in practice, Report RS-95-21, BRICS, Department of Computer Science, Aarhus University, Aarhus, Denmark (1995)."},{"doi-asserted-by":"crossref","unstructured":"N. Klarlund: Progress measures for complementation of \u03c9-automata with applications to temporal logic, Proc. 32nd IEEE FOCS, (1991) 358\u2013367.","key":"32_CR5","DOI":"10.1109\/SFCS.1991.185391"},{"key":"32_CR6","first-page":"130","volume":"820","author":"N. Klarlund","year":"1994","unstructured":"N. Klarlund, M. Mukund, M. Sohoni: Determinizing asynchronous automata, Proc. ICALP '94, LNCS 820 (1994) 130\u2013141.","journal-title":"LNCS"},{"key":"32_CR7","volume-title":"Report TCS-95-6","author":"N. Klarlund","year":"1995","unstructured":"N. Klarlund, M. Mukund, M. Sohoni: Determinizing asynchronous automata on infinite traces, Report TCS-95-6, School of Mathematics, SPIC Science Foundation, Madras (1995)."},{"doi-asserted-by":"crossref","unstructured":"A. Mazurkiewicz: Basic notions of trace theory, in: J.W. de Bakker, W.-P. de Roever, G. Rozenberg (eds.), Linear time, branching time and partial order in logics and models for concurrency, LNCS\n354, (1989) 285\u2013363.","key":"32_CR8","DOI":"10.1007\/BFb0013025"},{"key":"32_CR9","first-page":"388","volume":"761","author":"M. Mukund","year":"1993","unstructured":"M. Mukund, M. Sohoni: Keeping track of the latest gossip: Bounded time-stamps suffice, Proc. FST&TCS '93, LNCS761 (1993) 388\u2013399.","journal-title":"LNCS"},{"key":"32_CR10","first-page":"142","volume":"820","author":"A. Muscholl","year":"1994","unstructured":"A. Muscholl: On the complementation of B\u00fcchi asynchronous cellular automata, Proc. ICALP '94, LNCS820 (1994) 142\u2013153.","journal-title":"Proc. ICALP '94, LNCS"},{"key":"32_CR11","first-page":"1","volume":"141","author":"M.O. Rabin","year":"1969","unstructured":"M.O. Rabin: Decidability of second order theories and automata on infinite trees, Trans. AMS, 141(1969) 1\u201337.","journal-title":"Trans. AMS"},{"doi-asserted-by":"crossref","unstructured":"S. Safra: On the complexity of \u03c9-automata, Proc. 29th IEEE FOCS, (1988) 319\u2013327.","key":"32_CR12","DOI":"10.1109\/SFCS.1988.21948"},{"unstructured":"P.S. Thiagarajan: TrPTL: A trace based extension of linear time temporal logic, Proc. 9th IEEE LICS, (1994) 438\u2013447.","key":"32_CR13"},{"key":"32_CR14","first-page":"133","volume-title":"Handbook of Theoretical Computer Science, Volume B","author":"W. Thomas","year":"1990","unstructured":"W. Thomas: Automata on infinite objects, in J. van Leeuwen (ed.), Handbook of Theoretical Computer Science, Volume B, North-Holland, Amsterdam (1990) 133\u2013191."},{"unstructured":"M. Vardi, P. Wolper: An automata theoretic approach to automatic program verification, Proc. 1st IEEE LICS, (1986) 332\u2013345.","key":"32_CR15"},{"key":"32_CR16","first-page":"99","volume":"21","author":"W. Zielonka","year":"1987","unstructured":"W. Zielonka: Notes on finite asynchronous automata, R.A.I.R.O.\u2014Inf. Th\u00e9or. et Appl., 21 (1987) 99\u2013135.","journal-title":"R.A.I.R.O.\u2014Inf. Th\u00e9or. et Appl."},{"key":"32_CR17","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1007\/3-540-51237-3_22","volume":"363","author":"W. Zielonka","year":"1989","unstructured":"W. Zielonka: Safe executions of recognizable trace languages, in Logic at Botik, LNCS363 (1989) 278\u2013289.","journal-title":"Logic at Botik, LNCS"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Technology and Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60692-0_67.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:27:03Z","timestamp":1619573223000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60692-0_67"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540606925","9783540492634"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-60692-0_67","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}