{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:52:33Z","timestamp":1725663153062},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540079941"},{"type":"electronic","value":"9783540379720"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1976]]},"DOI":"10.1007\/3-540-07994-7_47","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T11:16:12Z","timestamp":1330168572000},"page":"11-42","source":"Crossref","is-referenced-by-count":9,"title":["Parallel programming: An axiomatic approach"],"prefix":"10.1007","author":[{"given":"C. A. R.","family":"Hoare","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,21]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"C. A. R. Hoare. \"Towards a Theory of Parallel Programming,\" in Operating Systems Techniques, ed. C. A. R. Hoare and R. H. Perrot. Academic Press, 1972.","DOI":"10.1007\/978-1-4757-3472-0_6"},{"key":"2_CR2","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/BF00289507","volume":"1","author":"C. A. R. R. Hoare","year":"1972","unstructured":"C. A. R. Hoare. \"Proof of Correctness of Data Representations,\" Acta Informatica 1, 271\u2013281 (1972).","journal-title":"Acta Informatica"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"C. A. R. Hoare. \"Monitors: an Operating System Structuring Concept.\" Seminar delivered to I.R.I.A., May 11, 1973.","DOI":"10.1007\/978-1-4757-3472-0_10"},{"key":"2_CR4","unstructured":"D. Scott. \"Outline of a Mathematical Theory of Computation,\" PRG-7. Programming Research Group, Oxford University."},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"E. W. Dijkstra. \"Cooperating Sequential Processes,\" in Programming Languages, ed. F. Genuys. Academic Press, 1968.","DOI":"10.1007\/978-1-4757-3472-0_2"},{"key":"2_CR6","unstructured":"C. A. R. Hoare. \"Notes on Data Structuring,\" in Structured Programming, by E. W. Dijkstra, O. J. Dahl, C. A. R. Hoare. Academic Press, 1972."},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"C. A. R. Hoare. \"Procedures and Parameters: an Axiomatic Approach,\" in Symposium on Semantics of Algorithmic Languages, ed. E. Engeler. Springer-Verlag, 1972.","DOI":"10.1007\/BFb0059696"},{"key":"2_CR8","volume-title":"Consistent Formal Theories of the Semantics of Programming Languages","author":"P. E. Lauer","year":"1971","unstructured":"P. E. Lauer. \"Consistent Formal Theories of the Semantics of Programming Languages,\" Ph.D. thesis, Queen's University, Belfast. TR.25.121 IBM Laboratory, Vienna, Nov. 1971."},{"key":"2_CR9","unstructured":"P. Brinch Hansen. Operating System Principles. Prentice-Hall, 1973."},{"key":"2_CR10","unstructured":"D. Michie. \"Memo functions: a language feature with \u2018rote learning\u2019 properties,\" MIP-R-29, Edinburgh University, (November 1967)."},{"key":"2_CR11","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1145\/366663.366704","volume":"6","author":"M. E. Conway","year":"1963","unstructured":"M. E. Conway. \"Design of a Separable Transition Diagram Compiler,\" Comm. ACM 6, 396\u2013408, (1963).","journal-title":"Comm. ACM"},{"key":"2_CR12","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/BF00571463","volume":"2","author":"M. Clint","year":"1973","unstructured":"M. Clint. \"Program Proving: Coroutines,\" Acta Informatica 2, 50\u201363, (1973).","journal-title":"Acta Informatica"},{"issue":"4","key":"2_CR13","doi-asserted-by":"crossref","first-page":"636","DOI":"10.1145\/321420.321422","volume":"14","author":"R. W. Floyd","year":"1967","unstructured":"R. W. Floyd. \"Nondeterministic Algorithms,\" J. ACM 14, 4, pp. 636\u2013644, (1967).","journal-title":"J. ACM"},{"issue":"1","key":"2_CR14","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/BF00264291","volume":"1","author":"N. Wirth","year":"1971","unstructured":"N. Wirth. \"The Programming Language PASCAL,\" Acta Informatica 1, 1 (1971), pp. 35\u201363.","journal-title":"Acta Informatica"},{"key":"2_CR15","unstructured":"E. A. Ashcroft, Z. Manna. \"Formalization of Properties of Parallel Programs,\" A.I.M. 110, Stanford University, February 1970."},{"key":"2_CR16","unstructured":"E. W. Dijkstra. Private communication."},{"key":"2_CR17","unstructured":"Formal Definition of PL\/I. IBM Laboratory, Vienna, TR.25.071 (1967)."},{"key":"2_CR18","unstructured":"A. d'Agapeyeff. Private communication."}],"container-title":["Lecture Notes in Computer Science","Language Hierarchies and Interfaces"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-07994-7_47.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T14:58:47Z","timestamp":1605625127000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-07994-7_47"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1976]]},"ISBN":["9783540079941","9783540379720"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-07994-7_47","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1976]]}}}