{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:50:29Z","timestamp":1725663029483},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540114901"},{"type":"electronic","value":"9783540391760"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1982]]},"DOI":"10.1007\/3-540-11490-4_15","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T12:42:10Z","timestamp":1330173730000},"page":"181-214","source":"Crossref","is-referenced-by-count":0,"title":["Specification of distributed programs"],"prefix":"10.1007","author":[{"given":"R. M.","family":"Gallimore","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D.","family":"Coleman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"issue":"3","key":"15_CR1","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1145\/357103.357110","volume":"2","author":"K. R. Apt","year":"1980","unstructured":"APT, K. R. FRANCEZ, N. and de ROEVER, W. A Proof System for Communicating Sequential Processes, ACM Transactions on Programming Languages and Systems, vol 2, No 3, July 1980, Page 359\u2013385.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"15_CR2","unstructured":"BOYER, R. S. and MOORE, J. S. A Computational Logic, Academic Press, Inc. (London) Ltd., 1979."},{"issue":"1","key":"15_CR3","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1093\/comjnl\/12.1.41","volume":"12","author":"R. M. Burstall","year":"1969","unstructured":"BURSTALL, R. M. Proving Properties of Programs by Structural Induction Computer Journal, 12(1) 41\u201348, February 1969.","journal-title":"Computer Journal"},{"key":"15_CR4","unstructured":"COLEMAN, D and GALLIMORE, R. Partial Correctness of Distributed Programs, these Proceedings."},{"key":"15_CR5","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1007\/BF00289073","volume":"9","author":"C. H. Correll","year":"1978","unstructured":"CORRELL, C. H. Proving Programs Correct through Refinement, Acta Informatica, 9, 121\u2013139 (1978).","journal-title":"Acta Informatica"},{"key":"15_CR6","volume-title":"Mathematical Theory of Program Correctness","author":"J. Bakker de","year":"1981","unstructured":"de BAKKER, J. Mathematical Theory of Program Correctness, Prentice-Hall International, Inc., London 1981."},{"key":"15_CR7","first-page":"19","volume":"19","author":"R. W. Floyd","year":"1967","unstructured":"FLOYD, R. W. Assigning Meanings to Programs. AMS 19, 19\u201332 (1967).","journal-title":"AMS"},{"key":"15_CR8","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C. A. R. R. Hoare","year":"1969","unstructured":"HOARE, C. A. R. An Axiomatic Basis for Computer Programming, Communications of the ACM 12, 576\u2013580 (1969).","journal-title":"Communications of the ACM"},{"issue":"8","key":"15_CR9","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C. A. R. R. Hoare","year":"1978","unstructured":"HOARE, C. A. R. Communicating Sequential Processes, Communications of the ACM 21, 8, 666\u2013677 (1978).","journal-title":"Communications of the ACM"},{"key":"15_CR10","volume-title":"Software Development: A Rigorous Approach","author":"C. B. Jones","year":"1980","unstructured":"JONES, C. B. Software Development: A Rigorous Approach, Prentice Hall International, Inc., London 1980."},{"key":"15_CR11","first-page":"993","volume-title":"Coroutines and Networks of Parallel Processes","author":"G. Kahn","year":"1977","unstructured":"KAHN, G. and MacQUEEN, D. B. Coroutines and Networks of Parallel Processes, Proc. IFIP Congress, 1977, North-Holland, Amsterdam 1977, pp 993\u2013998."},{"key":"15_CR12","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1007\/BF00289266","volume":"15","author":"G. M. Levin","year":"1981","unstructured":"LEVIN, G. M. and GRIES, D. A Proof Technique for Communicating Sequential Processes, Acta Informatica 15, 281\u2013302 (1981).","journal-title":"Acta Informatica"},{"key":"15_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-09724-4","volume-title":"Edinburgh LCF","author":"M. J. Gordon","year":"1979","unstructured":"GORDON, M. J., MILNER, A. J. and WADSWORTH, C. P. Edinburgh LCF, Lecture Notes in Computer Science 78, Springer-Verlag, Berlin 1979."},{"issue":"5","key":"15_CR14","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1145\/360051.360224","volume":"19","author":"S. S. Owicki","year":"1976","unstructured":"OWICKI, S. S., and GRIES, D. Verifying Properties of Parallel Programs: An Axiomatic Approach, Communications of the ACM 19, 5 (May 1976), 279\u2013285.","journal-title":"Communications of the ACM"},{"key":"15_CR15","unstructured":"SCOTT, D. S. and STRACHEY, C. Towards a Mathematical Semantic for Computer Languages, in Proc. Symp. Computers and Automata (J. Fox ed) pp 19\u201346, Polytechnic Institute of Brooklyn Press 1971."},{"key":"15_CR16","unstructured":"GALLIMORE, R.M. and COLEMAN, D. Specification of a KWIC Index Generator, These proceedings."}],"container-title":["Lecture Notes in Computer Science","Program Specification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-11490-4_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T16:42:52Z","timestamp":1619541772000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-11490-4_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1982]]},"ISBN":["9783540114901","9783540391760"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-11490-4_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1982]]}}}