{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,4]],"date-time":"2025-01-04T16:10:08Z","timestamp":1736007008241,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540281931"},{"type":"electronic","value":"9783540318736"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11537311_47","type":"book-chapter","created":{"date-parts":[[2005,9,27]],"date-time":"2005-09-27T14:00:06Z","timestamp":1127829606000},"page":"540-551","source":"Crossref","is-referenced-by-count":4,"title":["Tree Automata and Discrete Distributed Games"],"prefix":"10.1007","author":[{"given":"Julien","family":"Bernet","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Janin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"47_CR1","doi-asserted-by":"crossref","unstructured":"Arnold, A., Vincent, A., Walukiewicz, I.: Games for synthesis of controllers with partial observation. To appear in Theoretical Computer Sciences (2002)","DOI":"10.1016\/S0304-3975(02)00442-5"},{"key":"47_CR2","first-page":"368","volume-title":"Proc. 32th Syrup, on Foudations of Computer Sciences","author":"E.A. Emerson","year":"1991","unstructured":"Emerson, E.A., Jutla, C.S.: Tree automata, mu-calculus and determinacy. In: Proc. 32th Syrup, on Foudations of Computer Sciences, pp. 368\u2013377. IEEE, Los Alamitos (1991)"},{"key":"47_CR3","doi-asserted-by":"crossref","unstructured":"Kupferman, O., Vardi, M.Y.: Synthesizing distributed systems. Logic in Computer Sciences, 389\u2013398 (2001)","DOI":"10.1109\/LICS.2001.932514"},{"issue":"12","key":"47_CR4","doi-asserted-by":"publisher","first-page":"1330","DOI":"10.1109\/9.61009","volume":"33","author":"F. Lin","year":"1990","unstructured":"Lin, F., Wonham, M.: Decentralized control and coordination of discrete event systems with partial observation. IEEE Transactions on automatic control\u00a033(12), 1330\u20131337 (1990)","journal-title":"IEEE Transactions on automatic control"},{"key":"47_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1007\/3-540-48224-5_33","volume-title":"28th International Colloquium on Automata, Languages and Programming (ICALP)","author":"P. Madhusudan","year":"2001","unstructured":"Madhusudan, P., Thiagarajan, P.S.: Distributed controller synthesis for local specifications. In: Orejas, F., Spirakis, P.G., van Leeuwen, J. (eds.) ICALP 2001. LNCS, vol.\u00a02076, pp. 396\u2013407. Springer, Heidelberg (2001)"},{"key":"47_CR6","doi-asserted-by":"crossref","unstructured":"Mohalik, S., Walukiewicz, I.: Distributed games. Foundations of Software Technology and Theoretical Computer Science, 338\u2013351 (2003)","DOI":"10.1007\/978-3-540-24597-1_29"},{"key":"47_CR7","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1016\/0304-3975(94)00214-4","volume":"141","author":"D.E. Muller","year":"1995","unstructured":"Muller, D.E., Schupp, P.E.: Simulating alternating tree automata by non-deterministic automata. Theoretical Computer Sciences\u00a0141, 67\u2013107 (1995)","journal-title":"Theoretical Computer Sciences"},{"key":"47_CR8","doi-asserted-by":"crossref","unstructured":"Peterson, G.L., Reif, J.H.: Multiple-person alternation. In: 20th Annual IEEE Symposium on Foundations of Computer Sciences, pp. 348\u2013363 (October 1979)","DOI":"10.1109\/SFCS.1979.25"},{"key":"47_CR9","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/S0898-1221(01)00282-6","volume":"43","author":"G.L. Peterson","year":"2002","unstructured":"Peterson, G.L., Reif, J.H., Azhar, S.: Decision algorithms for multiplayer non-cooperative games of incomplete information. Computers and Mathematics with Applications\u00a043, 179\u2013206 (2002)","journal-title":"Computers and Mathematics with Applications"},{"key":"47_CR10","doi-asserted-by":"crossref","unstructured":"Pnueli, A., Rosner, R.: Distributed reactive systems are hard to synthesize. In: IEEE Symposium, on Foundations of Computer Science, pp. 746\u2013757 (1990)","DOI":"10.1109\/FSCS.1990.89597"},{"key":"47_CR11","first-page":"1","volume":"141","author":"M.O. Rabin","year":"1969","unstructured":"Rabin, M.O.: Decidability of second order theories and automata on infinite trees. Transactions of the American Mathematical Society\u00a0141, 1\u201335 (1969)","journal-title":"Transactions of the American Mathematical Society"}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Computation Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11537311_47.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,4]],"date-time":"2025-01-04T15:43:15Z","timestamp":1736005395000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11537311_47"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540281931","9783540318736"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/11537311_47","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}