{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T09:33:39Z","timestamp":1773653619975,"version":"3.50.1"},"publisher-location":"Berlin\/Heidelberg","reference-count":14,"publisher":"Springer-Verlag","isbn-type":[{"value":"354011212X","type":"print"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0025786","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T10:23:41Z","timestamp":1132395821000},"page":"253-281","source":"Crossref","is-referenced-by-count":12,"title":["Synthesis of communicating processes from Temporal Logic specifications"],"prefix":"10.1007","author":[{"given":"Zohar","family":"Manna","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierre","family":"Wolper","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"17_CR1","doi-asserted-by":"crossref","unstructured":"M. Ben-Ari, Z. Manna, A. Pnueli, \u201cThe Logic of Nexttime\u201d, Eighth ACM Symposium on Principles of Programming Languages, Williamsburg, VA, January 1981, pp. 164\u2013176.","DOI":"10.1145\/567532.567551"},{"key":"17_CR2","series-title":"Lecture Notes in Computer Science","volume-title":"Proceedings of the Workshop on Logics of Programs","author":"E. M. Clarke","year":"1981","unstructured":"E. M. Clarke, E. A. Emerson, \u201cSynthesis of Synchronization Skeletons from Branching Time Temporal Logic\u201d, Proceedings of the Workshop on Logics of Programs, Yorktown-Heights, NY, Springer-Verlag Lecture Notes in Computer Science, 1981"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"D. Gabbay, A. Pnueli, S. Shelah and J. Stavi, \u201cThe Temporal Analysis of Fairness\u201d, Seventh ACM Symposium on Principles of Programming Languages, Las Vegas, NV, January 1980, pp. 163\u2013173.","DOI":"10.1145\/567446.567462"},{"key":"17_CR4","doi-asserted-by":"crossref","unstructured":"P. Griffiths, \u201cSYNVER: A System for the Automatic Synthesis and Verification and Synthesis of Synchronization Processes\u201d, Ph. D. Thesis, Harvard University, June 1975.","DOI":"10.1145\/800182.810398"},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"A. N. Habermann, \u201cPath Expressions\u201d, Computer Science Report, Carnegie-Mellon University, 1975.","DOI":"10.21236\/ADA015842"},{"issue":"8","key":"17_CR6","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C. A. R. Hoare","year":"1978","unstructured":"C. A. R. Hoare, \u201cCommunicating Sequential Processes\u201d, Communications of the ACM, Vol. 21, No 8 (August 1978), pp. 666\u2013677.","journal-title":"Communications of the ACM"},{"key":"17_CR7","unstructured":"M. Laventhal, \u201cSynthesis of Synchronization Code for Data Abstractions\u201d, Ph. D. Thesis, MIT, June 1978."},{"key":"17_CR8","series-title":"Internation Lecture Series in Computer Science","volume-title":"The Correctness Problem in Computer Science","author":"Z. Manna","year":"1981","unstructured":"Z. Manna, A. Pnueli, \u201cVerification of Concurrent Programs: the Temporal Framework\u201d, The Correctness Problem in Computer Science (R. S. Boyer and J S. Moore, eds.), Internation Lecture Series in Computer Science, Academic Press, London, 1981."},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"A. Pnueli, \u201cThe Temporal Logic of Programs\u201d, Proceedings of the Eighteenth Symposium on Foundations of Computer Science, Providence, RI, November 1977, pp. 46\u201357.","DOI":"10.1109\/SFCS.1977.32"},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"A. Prior, Past, Present and Future, Oxford University Press, 1967.","DOI":"10.1093\/acprof:oso\/9780198243113.001.0001"},{"key":"17_CR11","doi-asserted-by":"crossref","unstructured":"N. Rescher, A. Urquart, Temporal Logic, Springer-Verlag, 1971","DOI":"10.1007\/978-3-7091-7664-1"},{"key":"17_CR12","unstructured":"K. Ramamritham, R. M. Keller, \u201cSpecification and Synthesis of Synchronizers\u201d, Proceedings International Symposium on Parallel Processing, August 1980, pp. 311\u2013321."},{"key":"17_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-86718-7","volume-title":"First Order Logic","author":"R. M. Smullyan","year":"1968","unstructured":"R. M. Smullyan, First Order Logic, Springer-Verlag, Berlin, 1968."},{"key":"17_CR14","doi-asserted-by":"crossref","unstructured":"P. Wolper, \u201cTemporal Logic Can Be More Expressive\u201d, Proceedings of the Twenty-Second Symposium on Foundations of Computer Science, Nashville, TN, October 1981.","DOI":"10.1109\/SFCS.1981.44"}],"container-title":["Lecture Notes in Computer Science","Logics of Programs"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0025786.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T19:11:20Z","timestamp":1736104280000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0025786"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354011212X"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/bfb0025786","relation":{},"subject":[]}}