{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:18:31Z","timestamp":1725495511368},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540664253"},{"type":"electronic","value":"9783540483205"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48320-9_11","type":"book-chapter","created":{"date-parts":[[2007,11,15]],"date-time":"2007-11-15T13:52:42Z","timestamp":1195134762000},"page":"130-145","source":"Crossref","is-referenced-by-count":11,"title":["Synthesis of Large Concurrent Programs via Pairwise Composition"],"prefix":"10.1007","author":[{"given":"Paul C.","family":"Attie","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,4,19]]},"reference":[{"key":"11_CR1","series-title":"Lect Notes Comput Sci","volume-title":"Proc. 6th Intl. CAV Conference","author":"A. Anuchitanukul","year":"1994","unstructured":"A. Anuchitanukul and Z. Manna. Realizability and synthesis of reactive modules. In Proc. 6th Intl. CAV Conference, volume 818 of LNCS. Springer-Verlag, 1994."},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"A. Arora, P. C. Attie, and E. A. Emerson. Synthesis of fault-tolerant concurrent systems. In Proc. 17\u2019th Annual ACM Symposium on Principles of Distributed Computing, pages 173\u2013182, June 1998.","DOI":"10.1145\/277697.277729"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"P. C. Attie and E. A. Emerson. Synthesis of concurrent systems for an atomic read\/atomic write model of computation (extended abstract). In Proc. 15\u2019th ACM Symposium on Principles of Distributed Computing, pages 111\u2013120, May 1996.","DOI":"10.1145\/248052.248070"},{"issue":"1","key":"11_CR4","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1145\/271510.271519","volume":"20","author":"P. C. Attie","year":"1998","unstructured":"P. C. Attie and E. A. Emerson. Synthesis of concurrent systems with many similar processes. ACM Trans. Program. Lang. Syst.., 20(1):51\u2013115, January 1998.","journal-title":"ACM Trans. Program. Lang. Syst.."},{"issue":"2","key":"11_CR5","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E. M. Clarke","year":"1986","unstructured":"E. M. Clarke, E. A. Emerson, and P. Sistla. Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans. Program. Lang. Syst.., 8(2):244\u2013263, April 1986.","journal-title":"ACM Trans. Program. Lang. Syst.."},{"issue":"10","key":"11_CR6","doi-asserted-by":"publisher","first-page":"667","DOI":"10.1145\/362759.362813","volume":"14","author":"P. J. Courtois","year":"1971","unstructured":"P. J. Courtois, H. Heymans, and D. L. Parnas. Concurrent control with readers and writers. Communications of the ACM, 14(10):667\u2013668, 1971.","journal-title":"Communications of the ACM"},{"key":"11_CR7","unstructured":"E. W. Dijkstra. A Discipline of Programming. Prentice-Hall Inc., 1976."},{"key":"11_CR8","doi-asserted-by":"crossref","first-page":"188","DOI":"10.1007\/978-1-4612-5695-3_33","volume-title":"Selected Writings on Computing: A Personal Perspective","author":"E. W. Dijkstra","year":"1982","unstructured":"E. W. Dijkstra. Selected Writings on Computing: A Personal Perspective, pages 188\u2013199. Springer-Verlag, New York, 1982."},{"key":"11_CR9","series-title":"Lect Notes Comput Sci","volume-title":"2\u2019nd Intl.CAV Conference","author":"D. L. Dill","year":"1990","unstructured":"D. L. Dill and H. Wong-Toi. Synthesizing processes and schedulers from temporal specifications. In 2\u2019nd Intl.CAV Conference, LNCS vol. 531. Springer-Verlag, 1990."},{"key":"11_CR10","volume-title":"Handbook of Theoretical Computer Science","author":"E. A. Emerson","year":"1990","unstructured":"E. A. Emerson. Temporal and modal logic. In Handbook of Theoretical Computer Science, volume B. The MIT Press\/Elsevier, Cambridge, Mass., 1990."},{"key":"11_CR11","doi-asserted-by":"publisher","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. Comput. Program.., 2:241\u2013266, 1982.","journal-title":"Sci. Comput. Program.."},{"key":"11_CR12","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1016\/0167-6423(87)90036-0","volume":"8","author":"E. A. Emerson","year":"1987","unstructured":"E. A. Emerson and C. Lei. Modalities for model checking: Branching time logic strikes back. Sci. Comput. Program.., 8:275\u2013306, 1987.","journal-title":"Sci. Comput. Program.."},{"issue":"3","key":"11_CR13","doi-asserted-by":"publisher","first-page":"843","DOI":"10.1145\/177492.177725","volume":"16","author":"O. Grumberg","year":"1994","unstructured":"O. Grumberg and D. E. Long. Model checking and modular verification. ACM Trans. Program. Lang. Syst.., 16(3):843\u2013871, May 1994.","journal-title":"ACM Trans. Program. Lang. Syst.."},{"issue":"1","key":"11_CR14","doi-asserted-by":"publisher","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. Program. Lang. Syst.., 6(1):68\u201393, January 1984.","journal-title":"ACM Trans. Program. Lang. Syst.."},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"A. Pnueli and R. Rosner. On the synthesis of a reactive module. In Proc. 16th ACM Symposium on Principles of Programming Languages, New York, 1989. ACM.","DOI":"10.1145\/75277.75293"},{"key":"11_CR16","series-title":"Lect Notes Comput Sci","volume-title":"Proc. 16th ICALP","author":"A. Pnueli","year":"1989","unstructured":"A. Pnueli and R. Rosner. On the synthesis of asynchronous reactive modules. In Proc. 16th ICALP, volume 372 of LNCS, Berlin, 1989. Springer-Verlag."}],"container-title":["Lecture Notes in Computer Science","CONCUR\u201999 Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48320-9_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T13:06:27Z","timestamp":1556975187000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48320-9_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540664253","9783540483205"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-48320-9_11","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}