{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T16:53:05Z","timestamp":1694623985557},"reference-count":10,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[1992,3,1]],"date-time":"1992-03-01T00:00:00Z","timestamp":699408000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Form. Asp. Comput."],"published-print":{"date-parts":[[1992,3]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>Predicate transformers that map the postcondition and all intermediate conditions of a command to a precondition are introduced. They can be used to specify certain progress properties of sequential programs.<\/jats:p>","DOI":"10.1007\/bf01212336","type":"journal-article","created":{"date-parts":[[2005,2,25]],"date-time":"2005-02-25T18:33:22Z","timestamp":1109356402000},"page":"195-236","source":"Crossref","is-referenced-by-count":4,"title":["Weakest preconditions for progress"],"prefix":"10.1145","volume":"4","author":[{"given":"Johan J.","family":"Lukkien","sequence":"first","affiliation":[{"name":"Computer Science, California Institute of Technology, 91125, Pasadena, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan L. A.","family":"van de Snepscheut","sequence":"additional","affiliation":[{"name":"Computer Science, California Institute of Technology, 91125, Pasadena, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","reference":[{"key":"e_1_2_1_2_1_2","unstructured":"Back R. J. R.: On the Correctness of Refinement in Program Development PhD thesis University of Helsinki 1978."},{"key":"e_1_2_1_2_2_2","doi-asserted-by":"crossref","unstructured":"Back R. J. R. and Kurki-Suonio R.: Decentralization of Process Nets with Centralized Control 2nd ACM SIGACT-SIGOPS Symp. on Principles of Distributed Computing Montreal Canada pp. 131\u2013142 August 1983.","DOI":"10.1145\/800221.806716"},{"key":"e_1_2_1_2_3_2","doi-asserted-by":"crossref","unstructured":"Chandy K. M. and Misra J.: Parallel Program Design: A Foundation Addison Wesley 1988.","DOI":"10.1007\/978-1-4613-9668-0_6"},{"key":"e_1_2_1_2_4_2","unstructured":"Dijkstra W.: A Discipline of Programming Prentice-Hall 1976."},{"key":"e_1_2_1_2_5_2","doi-asserted-by":"crossref","unstructured":"Dijkstra E. W. and Scholten C. S.: Predicate Calculus and Program Semantics Springer-Verlag 1990.","DOI":"10.1007\/978-1-4612-3228-5"},{"key":"e_1_2_1_2_6_2","doi-asserted-by":"crossref","unstructured":"Gries D.: The Science of Programming Springer-Verlag 1981.","DOI":"10.1007\/978-1-4612-5983-1"},{"key":"e_1_2_1_2_7_2","doi-asserted-by":"crossref","unstructured":"Jutla C. S. Knapp E. and Rao J. R.: A Predicate Transformer Approach to Semantics of Parallel Programs Proc. 8th Annual ACM Symp. on Principles of Distributed Computing pp. 249\u2013263 1989.","DOI":"10.1145\/72981.72999"},{"key":"e_1_2_1_2_8_2","doi-asserted-by":"publisher","DOI":"10.5555\/77693.77694"},{"key":"e_1_2_1_2_9_2","doi-asserted-by":"publisher","DOI":"10.1145\/357172.357178"},{"key":"e_1_2_1_2_10_2","doi-asserted-by":"publisher","DOI":"10.2140\/pjm.1955.5.285"}],"container-title":["Formal Aspects of Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01212336.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01212336\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1007\/BF01212336","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,6]],"date-time":"2022-01-06T15:18:16Z","timestamp":1641482296000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1007\/BF01212336"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,3]]},"references-count":10,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1992,3]]}},"alternative-id":["10.1007\/BF01212336"],"URL":"https:\/\/doi.org\/10.1007\/bf01212336","relation":{},"ISSN":["0934-5043","1433-299X"],"issn-type":[{"value":"0934-5043","type":"print"},{"value":"1433-299X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1992,3]]}}}