{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,11]],"date-time":"2025-01-11T22:40:20Z","timestamp":1736635220545,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540462194"},{"type":"electronic","value":"9783540462200"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11888116_14","type":"book-chapter","created":{"date-parts":[[2006,10,3]],"date-time":"2006-10-03T14:06:43Z","timestamp":1159884403000},"page":"175-190","source":"Crossref","is-referenced-by-count":0,"title":["On Distributed Program Specification and Synthesis in Architectures with Cycles"],"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":"14_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"566","DOI":"10.1007\/3-540-44685-0_38","volume-title":"CONCUR 2001 - Concurrency Theory","author":"L. Alfaro de","year":"2001","unstructured":"de Alfaro, L., Henzinger, T.A., Mang, F.Y.C.: The control of synchronous systems, part II. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol.\u00a02154, pp. 566\u2013582. Springer, Heidelberg (2001)"},{"issue":"1","key":"14_CR2","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 controlers with partial observation. Theoretical Comp. Science\u00a0303(1), 7\u201334 (2003)","journal-title":"Theoretical Comp. Science"},{"key":"14_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"540","DOI":"10.1007\/11537311_47","volume-title":"Fundamentals of Computation Theory","author":"J. Bernet","year":"2005","unstructured":"Bernet, J., Janin, D.: Tree automata and discrete distributed games. In: Li\u015bkiewicz, M., Reischuk, R. (eds.) FCT 2005. LNCS, vol.\u00a03623, pp. 540\u2013551. Springer, Heidelberg (2005)"},{"key":"14_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-4070-7","volume-title":"Introduction to Discrete Event Systems","author":"C.G. Cassandras","year":"1999","unstructured":"Cassandras, C.G., Lafortune, S.: Introduction to Discrete Event Systems. Kluwer Academic Publishers, Dordrecht (1999)"},{"doi-asserted-by":"crossref","unstructured":"Finkbeiner, B., Schewe, S.: Uniform distributed synthesis. In: IEEE Symp. on Logic in Computer Science (LICS), pp. 321\u2013330 (2005)","key":"14_CR5","DOI":"10.1109\/LICS.2005.53"},{"key":"14_CR6","series-title":"Lecture Notes in Computer Science","volume-title":"FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science","author":"P. Gastin","year":"2004","unstructured":"Gastin, P., Lerman, B., Zeitoun, M.: Causal memory distributed games are decidable for series-parallel systems. In: Lodaya, K., Mahajan, M. (eds.) FSTTCS 2004. LNCS, vol.\u00a03328, Springer, Heidelberg (2004)"},{"key":"14_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"455","DOI":"10.1007\/978-3-540-24698-5_49","volume-title":"LATIN 2004: Theoretical Informatics","author":"P. Gastin","year":"2004","unstructured":"Gastin, P., Lerman, B., Zeitoun, M.: Distributed games and distributed control for asynchronous systems. In: Farach-Colton, M. (ed.) LATIN 2004. LNCS, vol.\u00a02976, pp. 455\u2013465. Springer, Heidelberg (2004)"},{"key":"14_CR8","volume-title":"Computer organization and design: the Hardware\/software interface","author":"J.L. Hennessy","year":"1998","unstructured":"Hennessy, J.L., Patterson, D.A.: Computer organization and design: the Hardware\/software interface, 2nd edn. Morgan Kaufmann Publishers Inc., San Francisco (1998)","edition":"2"},{"unstructured":"IEEE Std 1076-1993. IEEE Standard VHDL (1993)","key":"14_CR9"},{"doi-asserted-by":"crossref","unstructured":"Kupferman, O., Vardi, M.Y.: Synthesizing distributed systems. In: IEEE Symp. on Logic in Computer Science (LICS), pp. 389\u2013398 (2001)","key":"14_CR10","DOI":"10.1109\/LICS.2001.932514"},{"unstructured":"Madhusudan, P.: Control and Synthesis of Open Reactive Systems. PhD thesis, University of Madras (2001)","key":"14_CR11"},{"key":"14_CR12","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.S.: Distributed controller 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":"14_CR13","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.S.: 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, pp. 145\u2013160. Springer, Heidelberg (2002)"},{"key":"14_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1007\/978-3-540-24597-1_29","volume-title":"FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science","author":"S. Mohalik","year":"2003","unstructured":"Mohalik, S., Walukiewicz, I.: Distributed games. In: Pandya, P.K., Radhakrishnan, J. (eds.) FSTTCS 2003. LNCS, vol.\u00a02914, pp. 338\u2013351. Springer, Heidelberg (2003)"},{"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)","key":"14_CR15","DOI":"10.1109\/SFCS.1979.25"},{"key":"14_CR16","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"},{"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)","key":"14_CR17","DOI":"10.1109\/FSCS.1990.89597"},{"key":"14_CR18","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. Trans. Amer. Math. Soc.\u00a0141, 1\u201335 (1969)","journal-title":"Trans. Amer. Math. Soc."},{"doi-asserted-by":"crossref","unstructured":"Reif, J.H.: Universal games of incomplete information. In: 11th Annual ACM Symposium on Theory of Computing, pp. 288\u2013308 (1979)","key":"14_CR19","DOI":"10.1145\/800135.804422"},{"issue":"11","key":"14_CR20","doi-asserted-by":"publisher","first-page":"1692","DOI":"10.1109\/9.173140","volume":"37","author":"K. Rudie","year":"1992","unstructured":"Rudie, K., Wonham, W.M.: Think globally, act locally: Decentralized supervisory control. IEEE Transactions on Automatic Control\u00a037(11), 1692\u20131708 (1992)","journal-title":"IEEE Transactions on Automatic Control"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Networked and Distributed Systems - FORTE 2006"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11888116_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,11]],"date-time":"2025-01-11T03:12:51Z","timestamp":1736565171000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11888116_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540462194","9783540462200"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/11888116_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}