{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T12:20:11Z","timestamp":1725711611024},"publisher-location":"London","reference-count":15,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540197522"},{"type":"electronic","value":"9781447135500"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/978-1-4471-3550-0_3","type":"book-chapter","created":{"date-parts":[[2013,1,6]],"date-time":"2013-01-06T02:45:38Z","timestamp":1357440338000},"page":"4-42","source":"Crossref","is-referenced-by-count":3,"title":["Formalising Dijkstra\u2019s Development Strategy within Stark\u2019s Formalism"],"prefix":"10.1007","author":[{"given":"Antonio","family":"Cau","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ruurd","family":"Kuiper","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Willem-Paul","family":"de Roever","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1109\/LICS.1988.5115","volume-title":"Third annual symposium on Logic in Computer Science","author":"M Abadi","year":"1988","unstructured":"M. Abadi and L. Lamport. The existence of refinement mappings. In Third annual symposium on Logic in Computer Science, pages 165\u2013175, July 1988."},{"unstructured":"E.W. Dijkstra. A tutorial on the split binary semaphore, 1979. EWD 703.","key":"3_CR2"},{"key":"3_CR3","volume-title":"LNCS 430:Proc. of the REX Workshop on Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, pages 208-238. Springer-Verlag","author":"E Diepstraten","year":"1990","unstructured":"E. Diepstraten and R. Kuiper. Abadi & Lamport and Stark: towards a proof theory for stuttering, dense domains and refinements mappings. In LNCS 430:Proc. of the REX Workshop on Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, pages 208\u2013238. Springer-Verlag, 1990."},{"key":"3_CR4","volume-title":"Oxford University Computing Laboratory","author":"C.B","year":"1981","unstructured":"C.B. Jones. Development methods for computer programs including a notion of interference. PhD thesis, Oxford University Computing Laboratory, 1981."},{"key":"3_CR5","first-page":"657","volume-title":"Information Processing 83: Proc. of the IFIP 9th World Congress","author":"L Lamport","year":"1983","unstructured":"L. Lamport. What good is temporal logic. In R.E.A. Manson, editor, Information Processing 83: Proc. of the IFIP 9th World Congress, pages 657\u2013668. Elsevier Science Publishers, North Holland, 1983."},{"key":"3_CR6","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-642-82453-1_4","volume-title":"NATO ASI SERIES, vol. F13: Logics and Models of Concurrent Systems","author":"L Lamport","year":"1985","unstructured":"L. Lamport. An axiomatic semantics of concurrent programming languages. In K.R. Apt, editor, NATO ASI SERIES, vol. F13: Logics and Models of Concurrent Systems, pages 77\u2013122. Springer-Verlag, January 1985."},{"issue":"1","key":"3_CR7","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1145\/63238.63240","volume":"32","author":"L Lamport","year":"1989","unstructured":"L. Lamport. A simple approach to specifying concurrent systems. Communications of the ACM, 32 (1): 32\u201345, January 1989.","journal-title":"Communications of the ACM"},{"key":"3_CR8","volume-title":"Proc. of 6th POPL","author":"S Lee","year":"1979","unstructured":"S. Lee, S. Gerhart, and W.-P. de Roever. The evolution of list-copying algorithms and the need for structured program verification. In Proc. of 6th POPL, 1979."},{"issue":"4","key":"3_CR9","first-page":"417","volume":"7","author":"J Misra","year":"1981","unstructured":"J. Misra, and M. Chandy. Proofs of Networks of Processes. IEEE SE 7 (4), pp. 417\u2013426, 1981.","journal-title":"IEEE SE"},{"key":"3_CR10","volume-title":"Springer-Verlag","author":"R Milner","year":"1980","unstructured":"R. Milner. A calculus of Communicating Systems. LNCS 92, Springer-Verlag 1980."},{"key":"3_CR11","volume-title":"and M. Tudball","author":"PRH Place","year":"1990","unstructured":"P.R.H. Place, W.G. Wood, and M. Tudball. Survey of formal specification techniques for reactive systems. Technical Report, 1990."},{"unstructured":"E.W. Stark. Foundations of a Theory of Specification for Distributed Systems. PhD thesis, Massachusetts Inst. of Technology, 1984. Available as Report No. MIT\/LCS\/TR-342.","key":"3_CR12"},{"key":"3_CR13","volume-title":"LNCS 206: Fifth Conference on Foundations of Software Technology and Theoretical Computer Science, pages 369-391. Springer-Verlag","author":"EW Stark","year":"1985","unstructured":"E.W. Stark. A Proof Technique for Rely\/Guarantee Properties. In LNCS 206: Fifth Conference on Foundations of Software Technology and Theoretical Computer Science, pages 369\u2013391. Springer-Verlag, 1985."},{"key":"3_CR14","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/0304-3975(86)90007-1","volume":"56","author":"EW Stark","year":"1988","unstructured":"E.W. Stark. Proving entailment between conceptual state specifications. Theoretical Computer Science, 56: 135\u2013154, 1988.","journal-title":"Theoretical Computer Science"},{"key":"3_CR15","volume-title":"Proc. of the conference on logics of programs 1983, LNCS 164, Springer Verlag","author":"J Zwiers","year":"1984","unstructured":"J. Zwiers, A. de Bruin, and W.-P. de Roever. A proof system for partial correctness of Dynamic Networks of Processes. In proc. of the conference on logics of programs 1983, LNCS 164, Springer Verlag 1984."}],"container-title":["Workshops in Computing","5th Refinement Workshop"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3550-0_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,10]],"date-time":"2019-05-10T05:19:02Z","timestamp":1557465542000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3550-0_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540197522","9781447135500"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3550-0_3","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1992]]}}}