{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:20:44Z","timestamp":1725664844471},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540635338"},{"type":"electronic","value":"9783540695936"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63533-5_27","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T23:29:14Z","timestamp":1330298954000},"page":"515-532","source":"Crossref","is-referenced-by-count":3,"title":["A compositional proof system for shared variable concurrency"],"prefix":"10.1007","author":[{"given":"F. S.","family":"Boer","sequence":"first","affiliation":[]},{"given":"U.","family":"Hannemann","sequence":"additional","affiliation":[]},{"given":"W. -P.","family":"Roever","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"27_CR1","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1145\/357103.357110","volume":"2","author":"K.R. Apt","year":"1980","unstructured":"K.R. Apt, N. Francez and W. P. de Roever. A proof system for Communicating Sequential Processes. In ACM Transactions on Programming Languages and Systems, 2:359\u2013385, 1980.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"27_CR2","doi-asserted-by":"crossref","unstructured":"H. Barringer, R. Kuiper, and A. Pnueli. Now you may compose temporal logic specifications. In 16th ACM symposium on Theory of Computation, pages 51\u201363, 1984.","DOI":"10.1145\/800057.808665"},{"key":"27_CR3","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1007\/3-540-54430-5_84","volume":"527","author":"F.S. Boer de","year":"1991","unstructured":"F.S. de Boer, J.N. Kok, C. Palamidessi, and J.J.M.M. Rutten. The failure of failures: Towards a paradigm for asynchronous communication. In Proceedings of Concur '91, Lecture Notes in Computer Science, Vol. 527, pages 111\u2013126, 1991.","journal-title":"Proceedings of Concur '91, Lecture Notes in Computer Science"},{"key":"27_CR4","unstructured":"S. Brookes. A fully abstract semantics of a shared variable parallel language. In Proceedings 8th Annual IEEE Symposium on Logic in Computer Science, IEEE Computer Society Press, pages 98\u2013109, 1993."},{"issue":"7","key":"27_CR5","doi-asserted-by":"crossref","first-page":"560","DOI":"10.1145\/828.833","volume":"31","author":"S.D. Brookes","year":"1984","unstructured":"S.D. Brookes, C.A.R. Hoare and A.W. Roscoe. A Theory of Communicating Sequential Processes. JACM 31(7), pp. 560\u2013599, 1984.","journal-title":"JACM"},{"key":"27_CR6","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1137\/0207005","volume":"7","author":"S.A. Cook","year":"1978","unstructured":"S.A. Cook. Soundness and completeness of an axiom system for program verification. In SIAM J. on Computing 7, pp. 70\u201390, 1978.","journal-title":"SIAM J. on Computing"},{"key":"27_CR7","doi-asserted-by":"crossref","unstructured":"E.W. Dijkstra. Solution of a problem in concurrent programming control. In Comm. ACM 8, 1965.","DOI":"10.1145\/365559.365617"},{"key":"27_CR8","volume-title":"Co-operating sequential processes","author":"E.W. Dijkstra","year":"1968","unstructured":"E.W. Dijkstra. Co-operating sequential processes. In Academic Press, New York, 1968."},{"key":"27_CR9","first-page":"134","volume":"26","author":"E.C.R. Hehner","year":"1983","unstructured":"E.C.R. Hehner, C.A.R. Hoare. A more complete model of Communicating Processes. TCS 26, pp. 134\u2013120, 1983.","journal-title":"TCS"},{"key":"27_CR10","doi-asserted-by":"crossref","unstructured":"J. Hooman. Specification and compositional verification of real-time systems. Lecture Notes in Computer Science, Vol. 558, 1992.","DOI":"10.1007\/3-540-54947-1"},{"key":"27_CR11","unstructured":"C.B. Jones. Development methods for computer programs including a notion of interference. PhD thesis, Oxford University Computing Laboratory, 1981."},{"key":"27_CR12","unstructured":"M. Joseph, P. Pandya. Specification and Verification of Total Correctness of Distributed Programs. Research report RR 96, University of Warwick, 1987."},{"key":"27_CR13","doi-asserted-by":"crossref","unstructured":"Y. Kesten, Z.Manna and A. Pnueli, Temporal verification of simulation and refinement. In A Decade of Concurrency (eds. J.W de Bakker, W.-P. de Roever and G. Rozenberg), Lecture Notes in Computer Science, Vol. 803, 1993.","DOI":"10.1007\/3-540-58043-3_22"},{"key":"27_CR14","doi-asserted-by":"crossref","unstructured":"L. Lamport. Verification and specification of concurrent programs. In A Decade of Concurrency (eds. J.W de Bakker, W.-P. de Roever and G. Rozenberg), Lecture Notes in Computer Science, Vol. 803, 1993.","DOI":"10.1007\/3-540-58043-3_23"},{"issue":"7","key":"27_CR15","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1109\/TSE.1981.230844","volume":"7","author":"J. Misra","year":"1981","unstructured":"J. Misra and K.M. Chandy. Proofs of networks of processes. IEEE Transactions on Software Engeneering, 7(7):417\u2013426, 1981.","journal-title":"IEEE Transactions on Software Engeneering"},{"key":"27_CR16","unstructured":"E.-R. Olderog and C.A.R. Hoare. Specification oriented Programming in TCSP. Proc. of the 10th ICALP, LNCS 154, 1983."},{"key":"27_CR17","unstructured":"K. St\u00f8len. Development of Parallel Programs on Shared Data-structures. PhD thesis, Computer Science Department, Manchester University, 1990."},{"key":"27_CR18","doi-asserted-by":"crossref","first-page":"647","DOI":"10.1145\/1780.1805","volume":"6","author":"N. Sounderarajan","year":"1984","unstructured":"N. Sounderarajan. Axiomatic semantics of communicating sequential processes. TOPLAS, 6:647\u2013662, 1984.","journal-title":"TOPLAS"},{"key":"27_CR19","doi-asserted-by":"crossref","unstructured":"J. Widom, D. Gries and F.B. Schneider. Completeness and Incompleteness of Trace-based Network Proof Systems. Proc. of the 14th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, pp. 27\u201338, 1987.","DOI":"10.1145\/41625.41628"},{"key":"27_CR20","unstructured":"J.V. Tucker and J.I. Zucker. Program correctness over abstract data types, with error-state semantics. In CWI Monograph Series, vol. 6, Centre for Mathematics and Computer Science\/North-Holland, 1988."},{"key":"27_CR21","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1007\/BF00268134","volume":"6","author":"S. Owicki","year":"1976","unstructured":"S. Owicki and D. Gries. An axiomatic proof technique for parallel programs. In Acta Informatika, 6:319\u2013340, 1976.","journal-title":"Acta Informatika"},{"key":"27_CR22","unstructured":"Q. Xu. A theory of state-based parallel programming. PhD thesis, Oxford University Computing Laboratory, 1992."},{"key":"27_CR23","doi-asserted-by":"crossref","unstructured":"Q. Xu, W.-P. de Roever and J. He. Rely-guarantee method for verifying shared variable concurrent programs. Formal Aspects of Computing 1997 (To appear.","DOI":"10.1007\/BF01211617"},{"key":"27_CR24","unstructured":"C.C. Zhou and C.A.R. Hoare. Partial Correctness of CSP. Proc. IEEE Int. Conf. on Distributed Computer Systems, pp. 1\u201312, 1981."},{"key":"27_CR25","unstructured":"J. Zwiers. Compositionality, Concurrency, and Partial Correctness. Lecture Notes in Computer Science, Vol.321, Springer-Verlag, 1989."}],"container-title":["Lecture Notes in Computer Science","FME '97: Industrial Applications and Strengthened Foundations of Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63533-5_27.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T11:50:23Z","timestamp":1640951423000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63533-5_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540635338","9783540695936"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-63533-5_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}