{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:19:54Z","timestamp":1725455994536},"publisher-location":"Berlin\/Heidelberg","reference-count":14,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354009511X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0022461","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T05:24:08Z","timestamp":1132723448000},"page":"21-33","source":"Crossref","is-referenced-by-count":13,"title":["Modal logic of concurrent nondeterministic programs"],"prefix":"10.1007","author":[{"given":"Karl","family":"Abrahamson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"Aschcroft, E. A. and Z. Manna. \"Formalization of Properties of Parallel Programs.\" Machine Intelligence 6, Edinburgh University Press.","key":"2_CR1"},{"doi-asserted-by":"crossref","unstructured":"Dijkstra, E. W. \"Guarded Commands, Nondeterminacy and Formal Derivation of Programs,\" C.A.C.M. 18, 8, 1975.","key":"2_CR2","DOI":"10.1145\/360933.360975"},{"doi-asserted-by":"crossref","unstructured":"Fischer, M. J. and R. E. Ladner. \"Propositional Modal Logic of Programs,\" Proc. 9th ann. ACM Symp. on Theory of Computing, 286\u2013294, Boulder, Col., May, 1977.","key":"2_CR3","DOI":"10.1145\/800105.803418"},{"key":"2_CR4","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1090\/psapm\/019\/0235771","volume":"19","author":"R. W. Floyd","year":"1967","unstructured":"Floyd, R. W. \"Assigning Meaning to Programs,\" Proc. AMS Symp. Appl. Math. 19, 1967, 19\u201332.","journal-title":"Proc. AMS Symp. Appl. Math."},{"doi-asserted-by":"crossref","unstructured":"Harel, D. and V. R. Pratt. \"Nondeterminism in Logics of Programs,\" Proc. 5th ann ACM Symp. on Principles of Prog. Lang., 203\u2013213, Tuscon, Arizona, Jan., 1978.","key":"2_CR5","DOI":"10.1145\/512760.512782"},{"issue":"10","key":"2_CR6","first-page":"576","volume":"12","author":"C. A. R. Hoare","year":"1969","unstructured":"Hoare, C. A. R. \"An Axiomatic Basis for Computer Programming,\" C.A.C.M. 12,10, 1969, 576\u2013580.","journal-title":"C.A.C.M."},{"unstructured":"Lamport, L. \"Proving the Correctness of Multiprocess Programs,\" Mass. Computer Associates, Inc. Mass. 01880.","key":"2_CR7"},{"key":"2_CR8","first-page":"2","volume":"21","author":"Z. Manna","year":"1978","unstructured":"Manna, Z. and R. Waldinger. \"Is 'sometime\u2019 Sometimes Better than \u2018Always'?,\" C.A.C.M. 21, 2, 1978.","journal-title":"\" C.A.C.M."},{"doi-asserted-by":"crossref","unstructured":"Owicki, S. and D. Gries. \"An Axiomatic Proof Technique for Parallel Programs I,\" Acta Informatica 6, 319\u2013339.","key":"2_CR9","DOI":"10.1007\/BF00268134"},{"unstructured":"Owicki, S. Colloquium presentation, Dept. of Comp. Sci., University of Washington, Nov. 16, 1978.","key":"2_CR10"},{"doi-asserted-by":"crossref","unstructured":"Pnueli, A. \"The Temporal Logic of Programs,\" 18th IEEE Symp. on Foundations of Computer Science, 46\u201357, Oct. 1977.","key":"2_CR11","DOI":"10.1109\/SFCS.1977.32"},{"doi-asserted-by":"crossref","unstructured":"Pratt V. R. \"Semantical Considerations on Floyd-Hoare Logic,\" 17th IEEE Symp. on Foundations of Computer Science, 109\u2013121, 1976.","key":"2_CR12","DOI":"10.1109\/SFCS.1976.27"},{"doi-asserted-by":"crossref","unstructured":"Pratt V. R. \"A Practical Decision Method for Propositional Dynamic Logic,\" Proc. 10th ACM Symp. on Theory of Computing, 326\u2013337, 1978.","key":"2_CR13","DOI":"10.1145\/800133.804362"},{"doi-asserted-by":"crossref","unstructured":"Lamport, L. \"'sometime\u2019 is Sometimes \u2018Not Never',\" S.R.I. International Report, Menlo Park, California, January, 1979.","key":"2_CR14","DOI":"10.1145\/567446.567463"}],"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\/BFb0022461","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:18:22Z","timestamp":1586578702000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0022461"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354009511X"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/bfb0022461","relation":{},"subject":[]}}