{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T04:36:06Z","timestamp":1778301366413,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540108436","type":"print"},{"value":"9783540387459","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1981]]},"DOI":"10.1007\/3-540-10843-2_22","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:27:51Z","timestamp":1330190871000},"page":"264-277","source":"Crossref","is-referenced-by-count":98,"title":["Impartiality, justice and fairness: The ethics of concurrent termination"],"prefix":"10.1007","author":[{"given":"D.","family":"Lehmann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Pnueli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Stavi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,25]]},"reference":[{"key":"22_CR1","doi-asserted-by":"crossref","unstructured":"Floyd, R.W. \u2014 Assigning meaning to programs, in J.T. Schwartz (ed.) \u2014 Mathematical aspects of computer science, Proc. Symp. in Appl. Math. 19,A.M.S. 1967, 19\u201332.","DOI":"10.1090\/psapm\/019\/0235771"},{"key":"22_CR2","doi-asserted-by":"crossref","unstructured":"Keller, R.M. \u2014 Formal Verification of Parallel Programs, CACM 19 (7) 1976.","DOI":"10.1145\/360248.360251"},{"issue":"2","key":"22_CR3","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1109\/TSE.1977.229904","volume":"3","author":"L. Lamport","year":"1977","unstructured":"Lamport, L. \u2014 Proving the Correctness of Multiprocess Programs, IEEE Transactions on Software Engineering, 3 (2) 1977, 125\u2013143.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"Manna, Z., Pnueli, A. \u2014 The Temporal Logic of Programs \u2014 A manuscript, 1980.","DOI":"10.21236\/ADA155071"},{"key":"22_CR5","doi-asserted-by":"crossref","unstructured":"Manna, Z., Pnueli, A. \u2014 Temporal Verification of Concurrent Programs, the Nontemporal Alternative, Workshop on Program Logics, Yorktown Heights, May 1981.","DOI":"10.21236\/ADA106750"},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"Owicki, S., Gries, D. \u2014 An Axiomatic Proof Technique for Parallel Programs, Acta information 5, 319\u2013339.","DOI":"10.1007\/BF00268134"},{"issue":"5","key":"22_CR7","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1145\/360051.360224","volume":"19","author":"S. Owicki","year":"1976","unstructured":"Owicki, S., Gries, D. \u2014 Verifying Properties of Parallel Programs: An Axiomatic Approach, CACM 19(5) 1976, 279\u2013286.","journal-title":"CACM"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-10843-2_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:03:36Z","timestamp":1605643416000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-10843-2_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981]]},"ISBN":["9783540108436","9783540387459"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-10843-2_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1981]]}}}