{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:30:48Z","timestamp":1725492648304},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540411963"},{"type":"electronic","value":"9783540409113"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-40911-4_13","type":"book-chapter","created":{"date-parts":[[2007,10,19]],"date-time":"2007-10-19T05:23:29Z","timestamp":1192771409000},"page":"214-234","source":"Crossref","is-referenced-by-count":1,"title":["Towards a Unified Development Methodology for Shared-Variable Parallel and Distributed Programs"],"prefix":"10.1007","author":[{"given":"J\u00fcrgen","family":"Dingel","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,6,1]]},"reference":[{"key":"13_CR1","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1145\/151646.151649","volume":"15","author":"M. Abadi","year":"1993","unstructured":"M. Abadi and L. Lamport. Composing specifications. ACM Transactions on Programming Languages and Systems, 15:73\u2013132, 1993.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"doi-asserted-by":"crossref","unstructured":"K. Apt and E.-R. Olderog. Verification of Sequential and Concurrent Programs. Springer Verlag, 1991.","key":"13_CR2","DOI":"10.1007\/978-1-4757-4376-0"},{"key":"13_CR3","series-title":"Lect Notes Comput Sci","volume-title":"Mathematics of Program Construction","author":"R.J.R. Back","year":"1989","unstructured":"R.J.R. Back and K. Sere. Stepwise refinement of action systems. In Mathematics of Program Construction. Springer Verlag, 1989. LNCS 375."},{"issue":"2","key":"13_CR4","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1006\/inco.1996.0056","volume":"127","author":"S.D. Brookes","year":"1996","unstructured":"S.D. Brookes. Full abstraction for a shared-variable parallel language. Information and Computation, 127(2):145\u2013163, June 1996.","journal-title":"Information and Computation"},{"doi-asserted-by":"crossref","unstructured":"S.D. Brookes, C.A.R Hoare, and A.W. Roscoe. A theory of communicating sequential processes. Journal of the ACM, July 1984.","key":"13_CR5","DOI":"10.1145\/828.833"},{"key":"13_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(86)90040-X","volume":"45","author":"M. Broy","year":"1986","unstructured":"M. Broy. A theory for nondeterminism, parallelism, communication, and concurrency. Theoretical Computer Science, 45:1\u201368, 1986.","journal-title":"Theoretical Computer Science"},{"doi-asserted-by":"crossref","unstructured":"F.S. de Boer, J.N. Kok, C. Palamidessi, and J.J.M.M. Rutten. The failure of failures in a paradigm of asynchronous communication. In Second International Conference in Concurrency Theory (CONCUR\u201991), 1991.","key":"13_CR7","DOI":"10.1007\/3-540-54430-5_84"},{"unstructured":"W.-P. de Roever, F. de Boer, U. Hannemann, J. Hooman, Y. Lakhneche, M. Poel, and J. Zwiers. Concurrency verification: Introduction to compositional and noncompositional proof methods. Book manuscript, 1999.","key":"13_CR8"},{"unstructured":"J. Dingel. Systematic Parallel Programming. PhD thesis, School of Computer Science, Carnegie Mellon University, December 1999.","key":"13_CR9"},{"key":"13_CR10","series-title":"Lect Notes Comput Sci","first-page":"231","volume-title":"AMAST\u201998","author":"J. Dingel","year":"1999","unstructured":"J. Dingel. A trace-based refinement calculus for shared-variable concurrent programs. In AMAST\u201998, LNCS 1548, pages 231\u2013247. Springer Verlag, January 1999."},{"unstructured":"C.B. Jones. Development Methods for Computer Programs Including a Notion of Interference. PhD thesis, Oxford University, 1981.","key":"13_CR11"},{"doi-asserted-by":"crossref","unstructured":"C. Morgan. The specification statement. ACM Transactions on Programming Languages and Systems, 10(3), January 1989.","key":"13_CR12","DOI":"10.1145\/44501.44503"},{"key":"13_CR13","series-title":"Lect Notes Comput Sci","first-page":"504","volume-title":"Abstract Software Specifications","author":"D. Park","year":"1979","unstructured":"D. Park. On the semantics of fair parallelism. In D. Bj\u00f8rner, editor, Abstract Software Specifications, LNCS 86, pages 504\u2013526. Springer Verlag, 1979."},{"key":"13_CR14","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1016\/0304-3975(88)90033-3","volume":"89","author":"C. Stirling","year":"1988","unstructured":"C. Stirling. A generalization of Owicki-Gries\u2019 Hoare logic for a concurrent while language. Theoretical Computer Science, 89:347\u2013359, 1988.","journal-title":"Theoretical Computer Science"},{"unstructured":"Q. Xu and H. Jifeng. A theory of state-based parallel programming: Part I. In J. Morris, editor, Fourth BCS-FACS Refinement Workshop, 1991.","key":"13_CR15"}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-40911-4_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T17:28:40Z","timestamp":1556904520000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-40911-4_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540411963","9783540409113"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-40911-4_13","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}