{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:07:00Z","timestamp":1725664020076},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540582014"},{"type":"electronic","value":"9783540485667"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58201-0_63","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:32:16Z","timestamp":1330270336000},"page":"130-141","source":"Crossref","is-referenced-by-count":6,"title":["Determinizing 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,29]]},"reference":[{"key":"11_CR1","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1006\/inco.1993.1052","volume":"106","author":"R. Cori","year":"1993","unstructured":"R. Cori, Y. Metivier, W. Zielonka: Asynchronous mappings and asynchronous cellular automata, Inf. and Comput., 106 (1993) 159\u2013202.","journal-title":"Inf. and Comput."},{"key":"11_CR2","first-page":"617","volume":"665","author":"V. Diekert","year":"1993","unstructured":"V. Diekert, A. Muscholl: Deterministic asynchronous automata for infinite traces, Proc. STACS '93, LNCS 665 (1993) 617\u2013628.","journal-title":"LNCS"},{"key":"11_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, LNCS 623 (1992) 583\u2013594.","journal-title":"LNCS"},{"key":"11_CR4","volume-title":"Report DAIMI-PB 460","author":"N. Klarlund","year":"1993","unstructured":"N. Klarlund, M. Mukund, M. Sohoni: Determinizing asynchronous automata, Report DAIMI-PB 460, Computer Science Department, Aarhus University, Aarhus, Denmark (1993)."},{"key":"11_CR5","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 354, (1989) 285\u2013363.","DOI":"10.1007\/BFb0013025"},{"key":"11_CR6","volume-title":"Report TCS-94-2","author":"M. Mukund","year":"1994","unstructured":"M. Mukund, M. Sohoni: Gossiping, asynchronous automata and Zielonka's theorem, Report TCS-94-2, School of Mathematics, SPIC Science Foundation, Madras (1994). See also \u201cKeeping track of the latest gossip: Bounded timestamps suffice\u201d, Proc. FST&TCS '93, LNCS 761 (1993) 388\u2013399."},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"A. Muscholl: On the complementation of B\u00fcchi asynchronous cellular automata, Proc. ICALP 1994.","DOI":"10.1007\/3-540-58201-0_64"},{"key":"11_CR8","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":"11_CR9","first-page":"278","volume":"363","author":"W. Zielonka","year":"1989","unstructured":"W. Zielonka: Safe executions of recognizable trace languages, in Logic at Botik, LNCS 363 (1989) 278\u2013289.","journal-title":"LNCS"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58201-0_63.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:18:27Z","timestamp":1605647907000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58201-0_63"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540582014","9783540485667"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-58201-0_63","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}