{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,13]],"date-time":"2025-06-13T14:44:19Z","timestamp":1749825859665},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540581796"},{"type":"electronic","value":"9783540484691"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58179-0_51","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T10:25:05Z","timestamp":1330251905000},"page":"156-168","source":"Crossref","is-referenced-by-count":11,"title":["Realizability and synthesis of reactive modules"],"prefix":"10.1007","author":[{"given":"Anuchit","family":"Anuchitanukul","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zohar","family":"Manna","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"13_CR1","series-title":"Lec. Notes in Comp. Sci. 372","first-page":"1","volume-title":"Proc. 16th Int. Colloq. Aut. Lang. and Prog.","author":"M. Abadi","year":"1989","unstructured":"M. Abadi, L. Lamport, and P. Wolper. Realizable and unrealizable concurrent program specifications. Proc. 16th Int. Colloq. Aut. Lang. and Prog. Lec. Notes in Comp. Sci. 372, Springer-Verlag, Berlin, 1\u201317, 1989."},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"H. Barringer, R. Kuiper, and A. Pnueli. Now you may compose temporal logic specifications. Proc. 16th ACM Symp. Theory of Comp., 51\u201363, 1984.","DOI":"10.1145\/800057.808665"},{"issue":"3","key":"13_CR3","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1016\/0167-6423(83)90017-5","volume":"2","author":"E.A. Emerson","year":"1982","unstructured":"E.A. Emerson and E.M. Clarke. Using branching time temporal logic to synthesize synchronization skeletons. Sci. Comp. Prog., 2(3):241\u2013266, 1982.","journal-title":"Sci. Comp. Prog."},{"issue":"1","key":"13_CR4","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1145\/357084.357090","volume":"2","author":"Z. Manna","year":"1980","unstructured":"Z. Manna and R. Waldinger. A deductive approach to program synthesis. ACM Trans. Prog. of Lang. and Sys., 2(1):90\u2013121, 1980.","journal-title":"ACM Trans. Prog. of Lang. and Sys."},{"issue":"1","key":"13_CR5","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1145\/357233.357237","volume":"6","author":"Z. Manna","year":"1984","unstructured":"Z. Manna and P. Wolper. Synthesis of communicating processes from temporal-logic specifications. ACM Trans. on Prog. Lang. and Sys., 6(1):68\u201393, 1984.","journal-title":"ACM Trans. on Prog. Lang. and Sys."},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"A. Pnueli and R. Rosner. On the synthesis of a reactive module. Proc. 16th ACM Symp. Princ. of Prog. Lang., 179\u2013190, 1989.","DOI":"10.1145\/75277.75293"},{"key":"13_CR7","first-page":"652","volume-title":"Lec. Notes in Comp. Sci. 372","author":"A. Pnueli","year":"1989","unstructured":"A. Pnueli and R. Rosner. On the synthesis of an asynchronous reactive module. Proc. 16th Int. Colloq. Aut. Lang. Prog. Lec. Notes in Comp. Sci. 372, Springer-Verlag, Berlin, 652\u2013671, 1989."},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"H. Wong-Toi and D.L. Dill. Synthesizing processes and schedulers from temporal specifications, Computer-Aided Verification (Proc. CAV90 Workshop), DIMACS Series in Discrete Mathematics and Theoretical Computer Science Vol. 3 (American Mathematical Society, 1991).","DOI":"10.1090\/dimacs\/003\/13"},{"key":"13_CR9","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1016\/S0019-9958(83)80051-5","volume":"56","author":"P. Wolper","year":"1983","unstructured":"P. Wolper. Temporal logic can be more expressive. Info. and Cont., 56:72\u201399, 1983.","journal-title":"Info. and Cont."},{"key":"13_CR10","first-page":"119","volume":"28","author":"P. Wolper","year":"1985","unstructured":"P. Wolper. The tableau method for temporal logic: An overview. Logique et Anal., 28:119\u2013136, 1985.","journal-title":"Logique et Anal."}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58179-0_51.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:17:52Z","timestamp":1605629872000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58179-0_51"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540581796","9783540484691"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-58179-0_51","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}