{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,4]],"date-time":"2025-07-04T20:41:13Z","timestamp":1751661673254},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540654629"},{"type":"electronic","value":"9783540492535"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49253-4_18","type":"book-chapter","created":{"date-parts":[[2007,6,6]],"date-time":"2007-06-06T22:56:45Z","timestamp":1181170605000},"page":"231-247","source":"Crossref","is-referenced-by-count":2,"title":["A Trace-Based Refinement Calculus for Shared-Variable Parallel Programs"],"prefix":"10.1007","author":[{"given":"J\u00fcrgen","family":"Dingel","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,1,15]]},"reference":[{"key":"18_CR1","series-title":"Lect Notes Comput Sci","volume-title":"ESPRIT\/LPC Advanced School on Current Trends in Concurrency","author":"G.R. Andrews","year":"1985","unstructured":"G.R. Andrews and F.B. Schneider. Concepts for concurrent programming. In J.W. de Bakker, W.-P. de Roever, and G. Rozenberg, editors, ESPRIT\/LPC Advanced School on Current Trends in Concurrency, volume 224 of LNCS. Springer Verlag, 1985."},{"key":"18_CR2","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":"18_CR3","doi-asserted-by":"crossref","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"},{"key":"18_CR4","unstructured":"M. Broy, F. Dederichs, C. Dendorfer, M. Fuchs, T.F. Gritzner, and R. Weber. The design of distributed systems-an introduction to FOCUS. Technical Report TUM-I9202, TU M\u00fcnchen, Januar 1992."},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"K.M. Chandy and J. Misra. Parallel program design: a foundation. Addison Wesley, 1988.","DOI":"10.1007\/978-1-4613-9668-0_6"},{"key":"18_CR6","series-title":"PhD thesis","volume-title":"Design of Compositional Proof Systems Based on Assumption-Commitment Specifications-Application to UNITY","author":"P. Collette","year":"1994","unstructured":"P. Collette. Design of Compositional Proof Systems Based on Assumption-Commitment Specifications-Application to UNITY. PhD thesis, Universit\u00e9 Catholique de Louvain, Belgium, June 1994."},{"key":"18_CR7","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 CONCUR\u2019 91, pages 111\u2013126. Springer Verlag, 1991.","DOI":"10.1007\/3-540-54430-5_84"},{"key":"18_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"703","DOI":"10.1007\/3-540-61604-7_85","volume-title":"CONCUR\u2019 96","author":"J. Dingel","year":"1996","unstructured":"J. Dingel. Modular verification for shared-variable concurrent programs. In U. Montanari and V. Sassone, editors, CONCUR\u2019 96, LNCS 1119, pages 703\u2013718. Springer Verlag, 1996."},{"key":"18_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"320","DOI":"10.1007\/3-540-63383-9_89","volume-title":"Second International Conference on Co-ordination Models and Languages","author":"J. Dingel","year":"1997","unstructured":"J. Dingel. Approximating UNITY. In Second International Conference on Co-ordination Models and Languages, LNCS 1282, pages 320\u2013337. Springer-Verlag, September 1997."},{"key":"18_CR10","unstructured":"J. Dingel. The development and verification of n-process mutual exclusion algorithms using invariants and refinement. Draft, 1998."},{"key":"18_CR11","unstructured":"C.B. Jones. Development Methods for Computer Programs Including a Notion of Interference. PhD thesis, Oxford University, 1981."},{"key":"18_CR12","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/BF00289062","volume":"14","author":"L. Lamport","year":"1980","unstructured":"L. Lamport. The \u201cHoare logic\u2019 of concurrent programs. Acta Informatica, 14:21\u201337, 1980.","journal-title":"Acta Informatica"},{"key":"18_CR13","doi-asserted-by":"crossref","unstructured":"C. Morgan. The specification statement. ACM Transactions on Programming Languages and Systems, 10(3), January 1989.","DOI":"10.1145\/44501.44503"},{"key":"18_CR14","doi-asserted-by":"crossref","unstructured":"E.-R. Olderog. Nets, terms and formulas. Cambridge Tracts in Theoretical Computer Science 23. Cambridge University Press, 1991.","DOI":"10.1017\/CBO9780511526589"},{"key":"18_CR15","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1007\/BF00268134","volume":"6","author":"S.S. Owicki","year":"1976","unstructured":"S.S. Owicki and D. Gries. An axiomatic proof technique for parallel programs. Acta Informatica, 6:319\u2013340, 1976.","journal-title":"Acta Informatica"},{"key":"18_CR16","series-title":"Lect Notes Comput Sci","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. Springer-Verlag, 1979."},{"key":"18_CR17","first-page":"326","volume-title":"Workshops in Computing","author":"Xu Qiwen","year":"1991","unstructured":"X. Qiwen and H. Jifeng. A theory of state-based parallel programming: Part I. In J. Morris, editor, 4th BCS-FACS Refinement Workshop, 1991."},{"key":"18_CR18","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"}],"container-title":["Lecture Notes in Computer Science","Algebraic Methodology and Software Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49253-4_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T15:45:51Z","timestamp":1556466351000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49253-4_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540654629","9783540492535"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-49253-4_18","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}