{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:08:02Z","timestamp":1725494882491},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540665885"},{"type":"electronic","value":"9783540481188"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48118-4_16","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T20:30:57Z","timestamp":1194985857000},"page":"1245-1265","source":"Crossref","is-referenced-by-count":5,"title":["Formal justification of the rely-guarantee paradigm for shared-variable concurrency: a semantic approach"],"prefix":"10.1007","author":[{"given":"F. S.","family":"de Boer","sequence":"first","affiliation":[]},{"given":"U.","family":"Hannemann","sequence":"additional","affiliation":[]},{"given":"W. -P.","family":"de Roever","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,9,17]]},"reference":[{"issue":"1","key":"16_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(93)90151-I","volume":"114","author":"M. Abadi","year":"1993","unstructured":"M. Abadi and G. D. Plotkin. A logical view of composition. Theoretical Computer Science, 114(1):3\u201330, 1993.","journal-title":"Theoretical Computer Science"},{"key":"16_CR2","unstructured":"G. Berry. The Constructive Semantics of Esterel. Book in preparation, \n                    http:\/\/www-sop.inria.fr\/meije\/esterel\/doc\/main-papers.html\n                    \n                  , 1999."},{"key":"16_CR3","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."},{"key":"16_CR4","series-title":"Lect Notes Comput Sci","volume-title":"CONCUR\u201991","author":"F.S. Boer de","year":"1991","unstructured":"F.S. de Boer, J.N. Kok, C. Palamedessi, and J.J.M.M. Rutten. The failure of failures: towards a paradigm for asynchronous communication. In Baeten and Groote, editors, CONCUR\u201991, LNCS 527. Springer-Verlag, 1991."},{"key":"16_CR5","unstructured":"W.-P. de Roever. The quest for compositionality-a survey of assertion-based proof systems for concurrent programs, part 1: Concurrency based on shared variables. In Proc. of IFIP Working Conf, The Role of Abstract Models in Computer Science, North-Holland, 1985."},{"key":"16_CR6","unstructured":"W.-P. de Roever, F.S. de Boer, U. Hannemann, J. Hooman, Y. Lakhnech, M. Poel, and J. Zwiers. Concurrency Verification: An Introduction to State-based Methods. To appear."},{"key":"16_CR7","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1090\/psapm\/019\/0235771","volume":"19","author":"R.W. Floyd","year":"1967","unstructured":"R.W. Floyd. Assigning meanings to programs. In Proceedings AMS Symp. Applied Mathematics, volume 19, pages 19\u201331, Providence, R.I., 1967. American Mathematical Society.","journal-title":"Proceedings AMS Symp. Applied Mathematics"},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"J. Hooman. Compositional Verification of Real-Time Applications. In W.-P. de Roever, H. Langmaack, and A. Pnueli (eds.) Compositionality: The Significant Difference. International Symposium, COMPOS\u201997, Bad Malente, Germany, September 8-12, 1997. pp. 130\u2013149, Springer-Verlag, LNCS 1536, 1998.","DOI":"10.1007\/3-540-49213-5_10"},{"key":"16_CR9","unstructured":"C.B. Jones. Development methods for computer programs including a notion of interference. PhD thesis, Oxford University Computing Laboratory, 1981."},{"issue":"4","key":"16_CR10","doi-asserted-by":"publisher","first-page":"596","DOI":"10.1145\/69575.69577","volume":"5","author":"C.B. Jones","year":"1983","unstructured":"C.B. Jones. Tentative steps towards a development method for interfering programs. ACM Transactions on Programming Languages and Systems, 5(4):596\u2013619, 1983.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"3","key":"16_CR11","doi-asserted-by":"publisher","first-page":"872","DOI":"10.1145\/177492.177726","volume":"16","author":"L. Lamport","year":"1994","unstructured":"L. Lamport. The Temporal Logic of Actions. ACM Transactions on Programming Languages and Systems, 16(3), pp. 872\u2013923, 1994.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"7","key":"16_CR12","doi-asserted-by":"publisher","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":"16_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1007\/3-540-16042-6_21","volume-title":"Proceedings of 5th Conference on Foundations of Software Technology and Theoretical Computer Science","author":"E. Stark","year":"1985","unstructured":"E. Stark. A proof technique for rely\/guarantee properties. In Proceedings of 5th Conference on Foundations of Software Technology and Theoretical Computer Science, LNCS 206, pages 369\u2013391. Springer-Verlag, 1985."},{"key":"16_CR14","unstructured":"Q. Xu. A theory of state-based parallel programming. DPhil. Thesis, Oxford University computing Laboratory, 1992."},{"issue":"2","key":"16_CR15","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/BF01211617","volume":"9","author":"Q. Xu","year":"1997","unstructured":"Q. Xu, W.-P. de Roever, and J. He. The rely-guarantee method for verifying shared-variable concurrent programs. Formal Aspects of Computing, 9(2):149\u2013174, 1997.","journal-title":"Formal Aspects of Computing"}],"container-title":["Lecture Notes in Computer Science","FM\u201999 \u2014 Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48118-4_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,25]],"date-time":"2019-02-25T05:57:04Z","timestamp":1551074224000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48118-4_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540665885","9783540481188"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-48118-4_16","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}