{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:15:54Z","timestamp":1725574554677},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540201847"},{"type":"electronic","value":"9783540399896"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39989-6_11","type":"book-chapter","created":{"date-parts":[[2011,1,8]],"date-time":"2011-01-08T02:01:57Z","timestamp":1294452117000},"page":"151-165","source":"Crossref","is-referenced-by-count":1,"title":["On the Implementation Complexity of Specifications of Concurrent Programs"],"prefix":"10.1007","author":[{"given":"Paul C.","family":"Attie","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Anderson, J.H., Moir, M.: Universal constructions for multi-object operations. In: Symposium on Principles of Distributed Computing (1995)","DOI":"10.1145\/224964.224985"},{"key":"11_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"156","DOI":"10.1007\/3-540-58179-0_51","volume-title":"Computer Aided Verification","author":"A. Anuchitanukul","year":"1994","unstructured":"Anuchitanukul, A., Manna, Z.: Realizability and synthesis of reactive modules. In: Dill, D.L. (ed.) CAV 1994. LNCS, vol.\u00a0818, pp. 156\u2013169. Springer, Heidelberg (1994)"},{"key":"11_CR3","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1145\/248052.248070","volume-title":"Fifteenth Annual ACM Symposium on Principles of Distributed Computing","author":"P.C. Attie","year":"1996","unstructured":"Attie, P.C., Emerson, E.A.: Synthesis of concurrent systems for an atomic read\/atomic write model of computation (extended abstract). In: Fifteenth Annual ACM Symposium on Principles of Distributed Computing, May 1996, pp. 111\u2013120. ACM Press, New York (1996)"},{"issue":"2","key":"11_CR4","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1145\/383043.383044","volume":"23","author":"P.C. Attie","year":"2001","unstructured":"Attie, P.C., Emerson, E.A.: Synthesis of concurrent systems for an atomic read\/write model of computation. ACM Trans. Program. Lang. Syst.\u00a023(2), 187\u2013242 (2001); Extended abstract appears in ACM Symposium on Principles of Distributed Computing PODC 1996 (1996)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"11_CR5","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/0304-3975(88)90098-9","volume":"59","author":"M.C. Browne","year":"1988","unstructured":"Browne, M.C., Clarke, E.M., Grumberg, O.: Characterizing finite kripke structures in propositional temporal logic. Theoretical Computer Science\u00a059, 115\u2013131 (1988)","journal-title":"Theoretical Computer Science"},{"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":"Courtois, P.J., Heymans, H., Parnas, D.L.: Concurrent control with readers and writers. Communications of the ACM\u00a014(10), 667\u2013668 (1971)","journal-title":"Communications of the ACM"},{"key":"11_CR7","volume-title":"A Discipline of Programming","author":"E.W. Dijkstra","year":"1976","unstructured":"Dijkstra, E.W.: A Discipline of Programming. Prentice-Hall Inc., Englewood Cliffs (1976)"},{"key":"11_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1007\/BFb0023741","volume-title":"Computer-Aided Verification","author":"D.L. Dill","year":"1991","unstructured":"Dill, D.L., Wong-Toi, H.: Synthesizing processes and schedulers from temporal specifications. In: Clarke, E., Kurshan, R.P. (eds.) CAV 1990. LNCS, vol.\u00a0531, pp. 272\u2013281. Springer, Heidelberg (1991)"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"Emerson, E.A.: Temporal and modal logic. In: Van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science. Formal Models and Semantics, vol.\u00a0B. The MIT Press\/Elsevier (1990)","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"11_CR10","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1016\/0167-6423(83)90017-5","volume":"2","author":"E.A. Emerson","year":"1982","unstructured":"Emerson, E.A., Clarke, E.M.: Using branching time temporal logic to synthesize synchronization skeletons. Sci. Comput. Program.\u00a02, 241\u2013266 (1982)","journal-title":"Sci. Comput. Program."},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"Harris, T.L., Fraser, K., Pratt, I.: A practical multi-word compare-and-swap operation. In: IEEE Symposium on Distributed Computing (2002)","DOI":"10.1007\/3-540-36108-1_18"},{"key":"11_CR12","unstructured":"Katz, S.: Temporary stability in parallel programs. Tech. Rep., Computer Science Dept., Technion, Haifa, Israel (1986)"},{"key":"11_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/3-540-44618-4_9","volume-title":"CONCUR 2000 - Concurrency Theory","author":"O. Kupferman","year":"2000","unstructured":"Kupferman, O., Madhusudan, P., Thiagarajan, P.S., Vardi, M.Y.: Open systems in reactive environments: Control and synthesis. In: Palamidessi, C. (ed.) CONCUR 2000. LNCS, vol.\u00a01877, pp. 92\u2013107. Springer, Heidelberg (2000)"},{"key":"11_CR14","first-page":"91","volume-title":"2nd International Conference on Temporal Logic","author":"O. Kupferman","year":"1997","unstructured":"Kupferman, O., Vardi, M.Y.: Synthesis with incomplete information. In: 2nd International Conference on Temporal Logic, Manchester, July 1997, pp. 91\u2013106. Kluwer Academic Publishers, Dordrecht (1997)"},{"issue":"1","key":"11_CR15","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1145\/357233.357237","volume":"6","author":"Z. Manna","year":"1984","unstructured":"Manna, Z., Wolper, P.: Synthesis of communicating processes from temporal logic speciications. ACM Trans. Program. Lang. Syst.\u00a06(1), 68\u201393 (1984); Also appears in Proceedings of the Workshop on Logics of Programs, Yorktown-Heights, N.Y. LNCS. Springer, Heidelberg (1981)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"Moir, M.: Transparent support for wait-free transactions. In: Workshop on Distributed Algorithms (1997)","DOI":"10.1007\/BFb0030692"},{"key":"11_CR17","first-page":"179","volume-title":"Proceedings of the 16th ACM Symposium on Principles of Programming Languages","author":"A. Pnueli","year":"1989","unstructured":"Pnueli, A., Rosner, R.: On the synthesis of a reactive module. In: Proceedings of the 16th ACM Symposium on Principles of Programming Languages, pp. 179\u2013190. ACM, New York (1989)"},{"key":"11_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"652","DOI":"10.1007\/BFb0035790","volume-title":"Automata, Languages and Programming","author":"A. Pnueli","year":"1989","unstructured":"Pnueli, A., Rosner, R.: On the synthesis of asynchronous reactive modules. In: Ronchi Della Rocca, S., Ausiello, G., Dezani-Ciancaglini, M. (eds.) ICALP 1989. LNCS, vol.\u00a0372, pp. 652\u2013671. Springer, Heidelberg (1989)"},{"key":"11_CR19","doi-asserted-by":"crossref","unstructured":"Shavit, N., Touitou, D.: Software transactional memory. In: ACM Symposium on Principles of Distributed Computing, Ontario, Canada (1995)","DOI":"10.1145\/224964.224987"}],"container-title":["Lecture Notes in Computer Science","Distributed Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39989-6_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,23]],"date-time":"2019-03-23T15:06:02Z","timestamp":1553353562000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39989-6_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540201847","9783540399896"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39989-6_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}