{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:53:48Z","timestamp":1725663228817},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540156482"},{"type":"electronic","value":"9783540395270"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/3-540-15648-8_23","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:21:23Z","timestamp":1330194083000},"page":"284-301","source":"Crossref","is-referenced-by-count":2,"title":["Proving fairness of schedulers"],"prefix":"10.1007","author":[{"given":"R","family":"Ramanujam","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kamal","family":"Lodaya","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"issue":"4","key":"23_CR1","doi-asserted-by":"crossref","first-page":"431","DOI":"10.1145\/357146.357150","volume":"3","author":"K. R. Apt","year":"1981","unstructured":"K R Apt: Ten years of Hoare's logic: a survey \u2014 Part I, ACM TOPLAS 3 (4) (Oct 1981) 431\u2013483.","journal-title":"ACM TOPLAS"},{"issue":"1\/2","key":"23_CR2","first-page":"83","volume":"28","author":"K. R. Apt","year":"1984","unstructured":"K R Apt: Ten years of Hoare logic: a survey \u2014 Part II: Nondeterminism, TCS 28 (1\/2) (1984) 83\u2013109.","journal-title":"TCS"},{"issue":"1","key":"23_CR3","first-page":"65","volume":"3","author":"K. R. Apt","year":"1983","unstructured":"K R Apt, E-R Olderog: Proof rules and transformations dealing with fairness, SCP 3 (1) (1983) 65\u2013100.","journal-title":"SCP"},{"issue":"1","key":"23_CR4","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1016\/0304-3975(84)90103-8","volume":"33","author":"K. R. Apt","year":"1984","unstructured":"K R Apt, A Pneuli, J Stavi: Fair termination revisited \u2014 with delay, TCS 33 (1) (1984) 65\u201384.","journal-title":"TCS"},{"issue":"4","key":"23_CR5","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1016\/0020-0190(84)90114-5","volume":"18","author":"E Best","year":"1984","unstructured":"E Best: Fairness and conspiracy, IPL 18 (4) (1984) 215\u2013220; Erratum, IPL 19 (3) (1984) 162.","journal-title":"IPL"},{"key":"23_CR6","unstructured":"O Grumberg, N Francez, J A Makowsky, W P de Roever: A proof rule for fair termination of guarded commands, Proc. Intl. Symp. Algorithmic languages (North-Holland, 1981) 339\u2013416."},{"key":"23_CR7","doi-asserted-by":"crossref","unstructured":"D Harel: First-order dynamic logic, LNCS 68 (Springer, 1979).","DOI":"10.1007\/3-540-09237-4"},{"key":"23_CR8","first-page":"246","volume":"115","author":"D Lehmann","year":"1981","unstructured":"D Lehmann, A Pnueli, J Stavi: Impartiality, justice and fairness: the ethics of concurrent termination, Proc. 8th ICALP, Akko, LNCS 115 (Springer, 1981) 246\u2013277.","journal-title":"Proc. 8th ICALP, Akko, LNCS"},{"key":"23_CR9","doi-asserted-by":"crossref","unstructured":"D Lehmann, M O Rabin: On the advantages of free choice: a fully distributed symmetric solution to the dining philosophers' problem, Proc. 8th POPL, Williamsburg (ACM, 1981).","DOI":"10.1145\/567532.567547"},{"key":"23_CR10","unstructured":"S Mahadevan, R K Shyamasundar: On the fairness of distributed programs, Proc. 2nd FST&TCS, Bangalore, (NCSDCT, TIFR, 1982) 171\u2013191."}],"container-title":["Lecture Notes in Computer Science","Logics of Programs"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-15648-8_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:08:35Z","timestamp":1605643715000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-15648-8_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540156482","9783540395270"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-15648-8_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1985]]}}}