{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:21:53Z","timestamp":1725456113407},"publisher-location":"Berlin\/Heidelberg","reference-count":16,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354011212X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0025785","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T10:23:41Z","timestamp":1132395821000},"page":"200-252","source":"Crossref","is-referenced-by-count":12,"title":["Verification of concurrent programs: Temporal proof principles"],"prefix":"10.1007","author":[{"given":"Zohar","family":"Manna","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amir","family":"Pnueli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"Ben-Ari, M., Z. Manna and A. Pnueli, \u201cThe temporal logic of branching time,\u201d Proceedings of the Eighth ACM Symposium on Principles of Programming Languages, Williamsburg, VA, Jan. 1981, pp. 169\u2013176.","DOI":"10.1145\/567532.567551"},{"key":"16_CR2","unstructured":"Burstall, R.M., \u201cProgram proving as hand simulation with a little induction,\u201d Proc. IFIP Congress, Amsterdam, The Netherlands (1974), North Holland, pp. 308\u2013312."},{"issue":"3","key":"16_CR3","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1145\/357103.357109","volume":"2","author":"E.M. Clarke","year":"1980","unstructured":"Clarke, E.M., \u201cSynthesis of resource invariants for concurrent programs,\u201d ACM Trans. on Programming Languages and Systems, Vol. 2, No. 3 (July 1980), pp. 338\u2013358.","journal-title":"ACM Trans. on Programming Languages and Systems"},{"key":"16_CR4","first-page":"43","volume-title":"Programming Languages and Systems","author":"E.W. Dijkstra","year":"1968","unstructured":"Dijkstra, E.W., \u201cCooperating sequential processes\u201d, in Programming Languages and Systems (F. Genvys ed.), Academic Press, New York, NY, 1968, pp. 43\u2013112."},{"key":"16_CR5","volume-title":"The analysis of cyclic programs","author":"N. Francez","year":"1976","unstructured":"Francez, N., \u201cThe analysis of cyclic programs,\u201d Ph.D. Thesis, Applied Mathematics Dept., The Weizmann Institute of Science, Rehovot, Israel, July 1976."},{"issue":"7","key":"16_CR6","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1145\/360248.360251","volume":"19","author":"R.M. Keller","year":"1976","unstructured":"Keller, R.M., \u201cFormal verification of parallel programs,\u201d CACM, Vol.19, No. 7 (July 1976), pp. 371\u2013384.","journal-title":"CACM"},{"issue":"7","key":"16_CR7","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1109\/TSE.1977.229904","volume":"SE-3","author":"L. Lamport","year":"1977","unstructured":"Lamport, L., \u201cProving the correctness of multiprocess programs,\u201d IEEE Transactions on Software Engineering, Vol. SE-3, No. 7 (March 1977), pp. 125\u2013143.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"16_CR8","unstructured":"Manna, Z., \u201cLogics of programs,\u201d Proc. IFIP Congress, Tokyo and Melbourne (October 1980), North Holland, pp. 41\u201351."},{"key":"16_CR9","series-title":"NATO Scientific Series","volume-title":"Theoretical Foundations of Programming Methodology","author":"Z. Manna","year":"1981","unstructured":"Manna, Z., \u201cVerification of sequential programs: Temporal axiomatization\u201d in Theoretical Foundations of Programming Methodology (F.L. Bauer, ed.), NATO Scientific Series, D. Riedel Pub. Co., Dordrecht, Holland, 1981."},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"Manna, Z. and A. Pnueli, \u201cThe modal logic of programs,\u201d Proc. 6th International Colloquium on Automata, Languages and Programming, Graz, Austria (July 1979). Lecture Notes in Computer Science, Vol. 71, Springer Verlag, pp. 385\u2013409.","DOI":"10.1007\/3-540-09510-1_31"},{"key":"16_CR11","series-title":"International Lecture Series in Computer Science","volume-title":"The Correctness Problem in Computer Science","author":"Z. Manna","year":"1981","unstructured":"Manna, Z. and A. Pnueli, \u201cVerification of concurrent programs: The temporal framework,\u201d in The Correctness Problem in Computer Science (R.S. Boyer and J.S. Moore, eds.), International Lecture Series in Computer Science, Academic Press, London, 1981."},{"issue":"2","key":"16_CR12","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1145\/359340.359353","volume":"21","author":"Z. Manna","year":"1978","unstructured":"Manna, Z. and R. Waldinger, \u201cIs 'sometime\u2019 sometimes better than \u2018Always'?: Intermittent assertions in proving program correctness,\u201d CACM, Vol. 21, No. 2, pp. 159\u2013172 (February 1978), pp. 159\u2013172.","journal-title":"CACM"},{"key":"16_CR13","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1007\/BF00268134","volume":"6","author":"S. Owicki","year":"1976","unstructured":"Owicki, S. and D. Gries, \u201cAn axiomatic proof technique for parallel programs,\u201d Acta Informatica, Vol. 6 (1976), pp. 319\u2013340.","journal-title":"Acta Informatica"},{"key":"16_CR14","unstructured":"Owicki, S. and L. Lamport, \u201cProving liveness properties of concurrent programs,\u201d unpublished report (october 1980)."},{"key":"16_CR15","doi-asserted-by":"crossref","unstructured":"Pnueli, A., \u201cThe temporal logic of programs,\u201d Proc. 18th FOCS, Providence, RI (November 1977), pp. 46\u201357.","DOI":"10.1109\/SFCS.1977.32"},{"key":"16_CR16","doi-asserted-by":"crossref","unstructured":"Pnueli, A., \u201cThe temporal semantics of concurrent programs,\u201d Proc. Symposium on Semantics of Concurrent Computations, Evian, France (July 1979), Lecture Notes in Computer Science, Vol. 70, Springer Verlag, pp. 1\u201320.","DOI":"10.1007\/BFb0022460"}],"container-title":["Lecture Notes in Computer Science","Logics of Programs"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0025785.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:55:28Z","timestamp":1607550928000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0025785"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354011212X"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/bfb0025785","relation":{},"subject":[]}}