{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,26]],"date-time":"2025-01-26T19:10:01Z","timestamp":1737918601985,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540775652"},{"type":"electronic","value":"9783540775669"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-77566-9_14","type":"book-chapter","created":{"date-parts":[[2008,1,5]],"date-time":"2008-01-05T06:18:43Z","timestamp":1199513923000},"page":"162-173","source":"Crossref","is-referenced-by-count":0,"title":["From Asynchronous to Synchronous Specifications for Distributed Program Synthesis"],"prefix":"10.1007","author":[{"given":"Julien","family":"Bernet","sequence":"first","affiliation":[]},{"given":"David","family":"Janin","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","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_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1007\/11888116_14","volume-title":"FORTE 2006","author":"J. Bernet","year":"2006","unstructured":"Bernet, J., Janin, D.: Distributed synthesis in zero-delayed architectures with cycles. In: Najm, E., Pradat-Peyre, J.F., Donzeau-Gouge, V.V. (eds.) FORTE 2006. LNCS, vol.\u00a04229, pp. 175\u2013190. Springer, Heidelberg (2006)"},{"key":"14_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"320","DOI":"10.1007\/978-3-540-69507-3_26","volume-title":"SOFSEM 2007","author":"D. Janin","year":"2007","unstructured":"Janin, D.: On the (high) undecidability of distributed synthesis problems. In: van Leeuwen, J., Italiano, G.F., van der Hoek, W., Meinel, C., Sack, H., Pl\u00e1\u0161il, F. (eds.) SOFSEM 2007. LNCS, vol.\u00a04362, pp. 320\u2013329. Springer, Heidelberg (2007)"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"Kupferman, O., Vardi, M.Y.: Synthesizing distributed systems. In: LICS 2001. Proc. IEEE Symposium on Logic in Computer Science, pp. 389\u2013398 (2001)","DOI":"10.1109\/LICS.2001.932514"},{"issue":"12","key":"14_CR5","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":"14_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"396","DOI":"10.1007\/3-540-48224-5_33","volume-title":"ICALP 2001","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":"14_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"338","DOI":"10.1007\/978-3-540-24597-1_29","volume-title":"FST TCS 2003","author":"S. Mohalik","year":"2003","unstructured":"Mohalik, S., Walukiewicz, I.: Distributed games. In: Pandya, P.K., Radhakrishnan, J. (eds.) FST TCS 2003. LNCS, vol.\u00a02914, pp. 338\u2013351. Springer, Heidelberg (2003)"},{"key":"14_CR8","series-title":"Pure and Applied Mathematics","volume-title":"Infinite Words ; Automata, Semigroups, Logic and Games","author":"D. Perrin","year":"2004","unstructured":"Perrin, D., Pin, J.E.: Infinite Words; Automata, Semigroups, Logic and Games. Pure and Applied Mathematics, vol.\u00a0141. Elsevier, Amsterdam (2004)"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"Peterson, G.L., Reif, J.H.: Multiple-person alternation. In: FOCS 1979. 20th Annual IEEE Symposium on Foundations of Computer Science, pp. 348\u2013363 (October 1979)","DOI":"10.1109\/SFCS.1979.25"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"Pnueli, A., Rosner, R.: Distributed reactive systems are hard to synthesize. In: FOCS 1990. Proc. 31th IEEE Symposium on Foundations of Computer Science, pp. 746\u2013757 (1990)","DOI":"10.1109\/FSCS.1990.89597"}],"container-title":["Lecture Notes in Computer Science","SOFSEM 2008: Theory and Practice of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-77566-9_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,25]],"date-time":"2025-01-25T10:12:52Z","timestamp":1737799972000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-77566-9_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540775652","9783540775669"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-77566-9_14","relation":{},"subject":[]}}