{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:10:14Z","timestamp":1760202614603,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540206804"},{"type":"electronic","value":"9783540245971"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-24597-1_29","type":"book-chapter","created":{"date-parts":[[2010,7,29]],"date-time":"2010-07-29T07:39:20Z","timestamp":1280389160000},"page":"338-351","source":"Crossref","is-referenced-by-count":37,"title":["Distributed Games"],"prefix":"10.1007","author":[{"given":"Swarup","family":"Mohalik","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Igor","family":"Walukiewicz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"29_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BFb0035748","volume-title":"Automata, Languages and Programming","author":"M. Abadi","year":"1989","unstructured":"Abadi, M., Lamport, L., Wolper, P.: Realizable and unrealizable specifications of reactive systems. In: Ronchi Della Rocca, S., Ausiello, G., Dezani-Ciancaglini, M. (eds.) ICALP 1989. LNCS, vol.\u00a0372, pp. 1\u201317. Springer, Heidelberg (1989)"},{"key":"29_CR2","doi-asserted-by":"crossref","unstructured":"Alur, R., Henzinger, T., Kupferman, O.: Alternating-time temporal logic. In: FOCS 1997, pp. 100\u2013109 (1997)","DOI":"10.1109\/SFCS.1997.646098"},{"key":"29_CR3","unstructured":"Ambroszkiewicz, S., Penczek, W.: Local interactions, explicit communication and causal knowledge in games and multi-agent systems. In: CEEMAS 1999, St. Petersburg (1999)"},{"issue":"1","key":"29_CR4","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/S0304-3975(02)00442-5","volume":"303","author":"A. Arnold","year":"2003","unstructured":"Arnold, A., Vincent, A., Walukiewicz, I.: Games for synthesis of controllers with partial observation. Theoretical Computer Science\u00a0303(1), 7\u201334 (2003)","journal-title":"Theoretical Computer Science"},{"key":"29_CR5","volume-title":"Distributed Computing : Fundamentals, Simulations, and Advanced Topics","author":"H. Attiya","year":"1998","unstructured":"Attiya, H., Welch, J.: Distributed Computing: Fundamentals, Simulations, and Advanced Topics. McGraw-Hill Publishing Company, UK (1998)"},{"key":"29_CR6","first-page":"555","volume":"27","author":"A. Bergeron","year":"1993","unstructured":"Bergeron, A.: A unified approach to control problems in discrete event processes. RAIRO-ITA\u00a027, 555\u2013573 (1993)","journal-title":"RAIRO-ITA"},{"key":"29_CR7","doi-asserted-by":"crossref","unstructured":"Bradfield, J.: Independence: logic and concurrency. In: LCS 2000. LNCS, vol.\u00a01682 (2000)","DOI":"10.1007\/3-540-44622-2_16"},{"volume-title":"The Book of Traces","year":"1995","key":"29_CR8","unstructured":"Diekert, V., Rozenberg, G. (eds.): The Book of Traces. World Scientific, Singapore (1995)"},{"key":"29_CR9","doi-asserted-by":"crossref","unstructured":"Emerson, E.A., Jutla, C.S.: Tree automata, mu-calculus and determinacy. In: Proc. FOCS 1991, pp. 368\u2013377 (1991)","DOI":"10.1109\/SFCS.1991.185392"},{"key":"29_CR10","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning about knowledge","author":"R. Fagin","year":"1995","unstructured":"Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about knowledge. MIT Press, Cambridge (1995)"},{"key":"29_CR11","doi-asserted-by":"crossref","unstructured":"Halpern, J.Y., Fagin, R.: A formal model of knowledge, action and communication in distributed systems. In: Proc. of ACM Symp. on Principles of Distributed Computing, pp. 224\u2013236 (1985)","DOI":"10.1145\/323596.323617"},{"issue":"3","key":"29_CR12","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1145\/146637.146638","volume":"39","author":"J.Y. Halpern","year":"1992","unstructured":"Halpern, J.Y., Zuck, L.: A little knowledge goes a long way: Simple knowledge based derivations and correctness proofs for a family of protocols. Journal of the ACM\u00a039(3), 449\u2013478 (1992)","journal-title":"Journal of the ACM"},{"key":"29_CR13","unstructured":"Kupferman, O., Vardi, M.: Synthesizing distributed systems. In: Proc. 16th IEEE Symp. on Logic in Computer Science (July 2001)"},{"key":"29_CR14","unstructured":"Lamouchi, H., Thistle, J.G.: Effective control synthesis for DES under partial observations. In: Proc. 39th IEEE Conf. on Decision and Control (December 2000)"},{"issue":"12","key":"29_CR15","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 discreteevent systems with partial observation. IEEE Transactions on automatic control\u00a033(12), 1330\u20131337 (1990)","journal-title":"IEEE Transactions on automatic control"},{"key":"29_CR16","unstructured":"Madhusudan, P.: Control and Synthesis of Open Reactive Systems. PhD thesis, University of Madras (2001)"},{"key":"29_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1007\/3-540-48224-5_33","volume-title":"Automata, Languages and Programming","author":"P. Madhusudan","year":"2001","unstructured":"Madhusudan, P., Thiagarajan, P.: Distributed control and synthesis for local specifications. In: Orejas, F., Spirakis, P.G., van Leeuwen, J. (eds.) ICALP 2001. LNCS, vol.\u00a02076, p. 396. Springer, Heidelberg (2001)"},{"key":"29_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/3-540-45694-5_11","volume-title":"CONCUR 2002 - Concurrency Theory","author":"P. Madhusudan","year":"2002","unstructured":"Madhusudan, P., Thiagarajan, P.: A decidable class of asynchronous distributed controllers. In: Brim, L., Jan\u010dar, P., K\u0159et\u00ednsk\u00fd, M., Kucera, A. (eds.) CONCUR 2002. LNCS, vol.\u00a02421, p. 145. Springer, Heidelberg (2002)"},{"key":"29_CR19","doi-asserted-by":"publisher","first-page":"363","DOI":"10.2307\/1971035","volume":"102","author":"D. Martin","year":"1975","unstructured":"Martin, D.: Borel determinacy. Ann. Math.\u00a0102, 363\u2013371 (1975)","journal-title":"Ann. Math."},{"key":"29_CR20","unstructured":"Mohalik, S., Walukiewicz, I.: Distributed games: full version with complete proofs, http:\/\/www.labri.fr\/~igw\/publications.html"},{"key":"29_CR21","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-4316-8","volume-title":"Introduction to game theory","author":"P. Morris","year":"1994","unstructured":"Morris, P.: Introduction to game theory. Springer, Heidelberg (1994)"},{"key":"29_CR22","unstructured":"Mostowski, W.: Games with forbidden positions. Technical Report 78, University of Gdansk (1991)"},{"key":"29_CR23","volume-title":"A Course in Game Theory","author":"M.J. Osborne","year":"1994","unstructured":"Osborne, M.J., Rubinstein, A.: A Course in Game Theory. The MIT Press, Cambridge (1994)"},{"key":"29_CR24","unstructured":"Parikh, R.: Social software. Synthese (2002) (to appear)"},{"key":"29_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"256","DOI":"10.1007\/3-540-15648-8_21","volume-title":"Logics of Programs","author":"R. Parikh","year":"1985","unstructured":"Parikh, R., Ramanujam, R.: Distributed processing and logics of knowledge. In: Parikh, R. (ed.) Logic of Programs 1985. LNCS, vol.\u00a0193, pp. 256\u2013268. Springer, Heidelberg (1985)"},{"key":"29_CR26","unstructured":"Pauly, M.: Logic for social software. PhD thesis, Institute for Logic, Language and computation, Universiteit van Amsterdam, ILLC Dissertation Series 2001-10 (2001)"},{"key":"29_CR27","doi-asserted-by":"crossref","unstructured":"Peterson, G.L., Reif, J.H.: Multi-person alternation. In: Proc. IEEE FOCS, pp. 348\u2013363 (1979)","DOI":"10.1109\/SFCS.1979.25"},{"key":"29_CR28","doi-asserted-by":"crossref","unstructured":"Pnueli, A., Rosner, R.: On the synthesis of a reactive module. In: Proc. ACM POPL, pp. 179\u2013190 (1989)","DOI":"10.1145\/75277.75293"},{"key":"29_CR29","doi-asserted-by":"crossref","unstructured":"Pnueli, A., Rosner, R.: Distributed reactive systems are hard to synthesize. In: 31th IEEE Symposium Foundations of Computer Science (FOCS 1990), pp. 746\u2013757 (1990)","DOI":"10.1109\/FSCS.1990.89597"},{"key":"29_CR30","doi-asserted-by":"crossref","unstructured":"Ramadge, P.J.G., Wonham, W.M.: The control of discrete event systems. Proceedings of the IEEE\u00a077 (1989)","DOI":"10.1109\/5.21072"},{"issue":"9","key":"29_CR31","doi-asserted-by":"publisher","first-page":"1656","DOI":"10.1109\/9.880616","volume":"45","author":"S. Ricker","year":"2000","unstructured":"Ricker, S., Rudie, K.: Incorporating knowledge into discrete-event control systems. IEEE Trans. on Automatic Control\u00a045(9), 1656\u20131668 (2000)","journal-title":"IEEE Trans. on Automatic Control"},{"issue":"11","key":"29_CR32","doi-asserted-by":"publisher","first-page":"1692","DOI":"10.1109\/9.173140","volume":"37","author":"K. Rudie","year":"1992","unstructured":"Rudie, K., Wonham, W.: Think globally, act locally: Decentralized supervisory control. IEEE Trans. on Automat. Control\u00a037(11), 1692\u20131708 (1992)","journal-title":"IEEE Trans. on Automat. Control"},{"key":"29_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-60275-5","volume-title":"STACS 95","author":"W. Thomas","year":"1995","unstructured":"Thomas, W.: On the synthesis of strategies in infinite games. In: Mayr, E.W., Puech, C. (eds.) STACS 1995. LNCS, vol.\u00a0900, Springer, Heidelberg (1995)"},{"key":"29_CR34","unstructured":"Tripakis, S.: Undecidable problems of decentralized observation and control. In: IEEE Conference on Decision and Control (2001)"}],"container-title":["Lecture Notes in Computer Science","FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24597-1_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,23]],"date-time":"2025-02-23T15:21:29Z","timestamp":1740324089000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24597-1_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540206804","9783540245971"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24597-1_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}