{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T22:34:27Z","timestamp":1784241267691,"version":"3.55.0"},"publisher-location":"Berlin\/Heidelberg","reference-count":23,"publisher":"Springer-Verlag","isbn-type":[{"value":"354009511X","type":"print"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0022460","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T00:24:08Z","timestamp":1132705448000},"page":"1-20","source":"Crossref","is-referenced-by-count":61,"title":["The temporal semantics of concurrent programs"],"prefix":"10.1007","author":[{"given":"Amir","family":"Pnueli","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1007\/BF00288684","volume":"1","author":"P. Brinch Hausen","year":"1972","unstructured":"Brinch Hausen, P.: \"A Comparison of Two Synchronizing Concepts\", Acta Informatica 1 (1972) 190\u2013199.","journal-title":"Acta Informatica"},{"key":"1_CR2","unstructured":"B\u00fcchi, J.R.: \"On a Decision Method in Restricted Second Order Arithmetic\", International Congress on Logic Methodology and Philosophy of Science, Stanford, California (1960)."},{"key":"1_CR3","doi-asserted-by":"crossref","first-page":"58","DOI":"10.2307\/2270582","volume":"30","author":"R.A. Bull","year":"1965","unstructured":"Bull, R.A.: \"An Algebraic Study of Diodorean Modal Systems\", Journal of Symbolic Logic 30 (1965) 58\u201364.","journal-title":"Journal of Symbolic Logic"},{"key":"1_CR4","first-page":"79","volume":"5","author":"R.M. Burstall","year":"1970","unstructured":"Burstall, R.M.: \"Formal Description of Program Structure and Semantics of First Order Logic\", Machine Intelligence 5(1970) 79\u201398.","journal-title":"Machine Intelligence"},{"key":"1_CR5","doi-asserted-by":"crossref","first-page":"250","DOI":"10.1002\/malq.19590051405","volume":"5","author":"M.A. Dummet","year":"1959","unstructured":"Dummet, M.A. and Lemmon, E.J.: \"Modal Logic between S4 and S5\" Zeitschrift f\u00fcr Math. Logik \u00fcnd Gr\u00fcnd, der Mathematics 5(1959) 250\u2013264.","journal-title":"Zeitschrift f\u00fcr Math. Logik \u00fcnd Gr\u00fcnd, der Mathematics"},{"key":"1_CR6","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/BF00289074","volume":"9","author":"N. Francez","year":"1978","unstructured":"Francez, N. and Pnueli, A.: \"The Analysis of Cyclic Programs\", Acta Informatica 9(1978) 133\u2013157.","journal-title":"Acta Informatica"},{"key":"1_CR7","unstructured":"Gries, D.: \"A Proof of Correctness of Reim's Semaphore Implementation of the With-When statement\". Technical Report TR 77\u2013314, Cornell University, Ithaca, N.Y. 14853."},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R.: \"Towards a Theory of Paralle Programming\" in Hoare, Perrot (Eds.): Operating Systems Techniques (1972) Academic Press.","DOI":"10.1007\/978-1-4757-3472-0_6"},{"key":"1_CR9","volume-title":"An Introduction to Modal Logic","author":"G.E. Hughes","year":"1972","unstructured":"Hughes, G.E. and Creswell, M.J.: \"An Introduction to Modal Logic\", Methuen and Co. London 1972."},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Keller, R.M.: Formal Verification of Parallel Programs\". CACM 19 (7) 1976.","DOI":"10.1145\/360248.360251"},{"key":"1_CR11","unstructured":"Krablin, L.: \"A Temporal Analysis of Fairness\", a forthcoming M.Sc. thesis, University of Pennsylvania."},{"key":"1_CR12","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/BF00264469","volume":"8","author":"F. Kr\u00f6ger","year":"1977","unstructured":"Kr\u00f6ger, F.: \"LAR: A Logic of Algorithmic Reasoning\", Acta Informatica 8(1977) 243\u2013266.","journal-title":"Acta Informatica"},{"issue":"2","key":"1_CR13","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1109\/TSE.1977.229904","volume":"3","author":"L. Lamport","year":"1977","unstructured":"Lamport, L.: \"Proving the Correctness of Multiprocess Programs\", IEEE Transactions on Software Engineering 3(2) 1977, 125\u2013143.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Manna Z: \"Properties of Programs and First Order Predicate Calculus\", JACM 16 (2) 244\u2013255.","DOI":"10.1145\/321510.321516"},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"Owicki, S. and Gries, D.: \"An Axiomatic Proof Technique for Parallel Programs\", Acta Informatica 5, 319\u2013339.","DOI":"10.1007\/BF00268134"},{"issue":"5","key":"1_CR16","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1145\/360051.360224","volume":"19","author":"S. Owicki","year":"1976","unstructured":"Owicki, S. and Gries, D.: \"Verifying Properties of Parallel Programs: An Axiomatic Approach\", CACM 19 (5) 1976, 279\u2013284.","journal-title":"CACM"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: \"The Temporal Logic of Programs\", 19th Annual Symposium on Foundations of Computer Science, Providence R.I. Nov. 1977.","DOI":"10.1109\/SFCS.1977.32"},{"key":"1_CR18","doi-asserted-by":"crossref","unstructured":"Prior, A.: \"Past, Present and Future\", Oxford University Press 1967.","DOI":"10.1093\/acprof:oso\/9780198243113.001.0001"},{"issue":"1","key":"1_CR19","first-page":"110","volume":"10","author":"E.A. Ashcroft","year":"1975","unstructured":"Ashcroft, E.A.: \"Proving Assertions About Parallel Programs\", JCSS 10, 1(1975) 110\u2013135.","journal-title":"JCSS"},{"key":"1_CR20","volume-title":"Intermittent Assertion Proofs in Lucid","author":"E.A. Ashcroft","year":"1977","unstructured":"Ashcroft, E.A. and Wadge, W.W.: \"Intermittent Assertion Proofs in Lucid,\" IFIP, Toronto 1977."},{"key":"1_CR21","unstructured":"Kahn, G: \"The Semantics of Simple Language for Parallel Proggramming\", Proceedings IFIP 14, North Holland."},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"Harel, D. and Pratt, V.R.: \"Nondeterminism in Logics of Programs\", Proc. 5th ACM Sumposium on Principles of Programming Languages. Tucson, Ariz. Jan. 1978.","DOI":"10.1145\/512760.512782"},{"key":"1_CR23","unstructured":"Lamport, L.: \"Sometime is sometimes \"not never\", Technical Report CSL-86, SRI International' Menlo Park, California, Jan. 1979."}],"container-title":["Lecture Notes in Computer Science","Semantics of Concurrent Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0022460","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T00:18:13Z","timestamp":1586564293000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0022460"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354009511X"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/bfb0022460","relation":{},"subject":[]}}