{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T00:18:06Z","timestamp":1743034686651,"version":"3.40.3"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319708478"},{"type":"electronic","value":"9783319708485"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-70848-5_16","type":"book-chapter","created":{"date-parts":[[2017,11,10]],"date-time":"2017-11-10T10:43:26Z","timestamp":1510310606000},"page":"253-270","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["UTCP: Compositional Semantics for Shared-Variable Concurrency"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2337-2101","authenticated-orcid":false,"given":"Andrew","family":"Butterfield","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,11,11]]},"reference":[{"issue":"5","key":"16_CR1","doi-asserted-by":"publisher","first-page":"493","DOI":"10.1016\/j.infsof.2006.07.006","volume":"49","author":"DC Atkinson","year":"2007","unstructured":"Atkinson, D.C., Weeks, D.C., Noll, J.: Tool support for iterative software process modeling. Inform. Softw. Technol. 49(5), 493\u2013514 (2007). \nhttps:\/\/doi.org\/10.1016\/j.infsof.2006.07.006","journal-title":"Inform. Softw. Technol."},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"Back, R.J.R., Kurki-Suonio, R.: Decentralization of process nets with centralized control. In: Proceedings of the Second Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, Montreal, Quebec, Canada, pp. 131\u2013142, 17\u201319 August 1983","DOI":"10.1145\/800221.806716"},{"key":"16_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/3-540-54430-5_84","volume-title":"CONCUR \u201991","author":"FS Boer","year":"1991","unstructured":"Boer, F.S., Kok, J.N., Palamidessi, C., Rutten, J.J.M.M.: The failure of failures in a paradigm for asynchronous communication. In: Baeten, J.C.M., Groote, J.F. (eds.) CONCUR 1991. LNCS, vol. 527, pp. 111\u2013126. Springer, Heidelberg (1991). \nhttps:\/\/doi.org\/10.1007\/3-540-54430-5_84"},{"key":"16_CR4","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/j.entcs.2011","volume":"276","author":"S Brookes","year":"2011","unstructured":"Brookes, S.: A revisionist history of concurrent separation logic. Electr. Notes Theor. Comput. Sci. 276, 5\u201328 (2011). \nhttps:\/\/doi.org\/10.1016\/j.entcs.2011","journal-title":"Electr. Notes Theor. Comput. Sci."},{"issue":"2","key":"16_CR5","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1006\/inco.1996.0056","volume":"127","author":"SD Brookes","year":"1996","unstructured":"Brookes, S.D.: Full abstraction for a shared-variable parallel language. Inf. Comput. 127(2), 145\u2013163 (1996). \nhttps:\/\/doi.org\/10.1006\/inco.1996.0056","journal-title":"Inf. Comput."},{"key":"16_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/978-3-319-52228-9_10","volume-title":"Unifying Theories of Programming","author":"A Butterfield","year":"2017","unstructured":"Butterfield, A.: UTPCalc \u2014 a calculator for UTP predicates. In: Bowen, J.P., Zhu, H. (eds.) UTP 2016. LNCS, vol. 10134, pp. 197\u2013216. Springer, Cham (2017). \nhttps:\/\/doi.org\/10.1007\/978-3-319-52228-9_10"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"Butterfield, A., Mjeda, A., Noll, J.: UTP semantics for shared-state, concurrent, context-sensitive process models. In: Bonsangue, M., Deng, Y. (eds.) TASE 2016 10th International Symposium on Theoretical Aspects of Software Engineering, pp. 93\u2013100. IEEE, July 2016","DOI":"10.1109\/TASE.2016.22"},{"key":"16_CR8","unstructured":"Calcagno, C., O\u2019Hearn, P.W., Yang, H.: Local action and abstract separation logic, pp. 366\u2013378. IEEE Computer Society (2007). \nhttp:\/\/ieeexplore.ieee.org\/xpl\/mostRecentIssue.jsp?punumber=4276538"},{"key":"16_CR9","series-title":"Series in Automatic Computation","volume-title":"A Discipline of Programming","author":"EW Dijkstra","year":"1976","unstructured":"Dijkstra, E.W.: A Discipline of Programming. Series in Automatic Computation. Prentice-Hall, Englewood Cliffs (1976)"},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"Dinsdale-Young, T., Birkedal, L., Gardner, P., Parkinson, M.J., Yang, H.: Views: compositional reasoning for concurrent programs. In: Giacobazzi, R., Cousot, R. (eds.) The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2013, Rome, Italy, 23\u201325 January 2013, pp. 287\u2013300. ACM (2013)","DOI":"10.1145\/2429069.2429104"},{"issue":"2","key":"16_CR11","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1145\/69610.357988","volume":"27","author":"ECR Hehner","year":"1984","unstructured":"Hehner, E.C.R.: Predicative programming part i & ii. Commun. ACM 27(2), 134\u2013151 (1984)","journal-title":"Commun. ACM"},{"key":"16_CR12","unstructured":"Hoare, C.A.R.: Programs are predicates. In: Proceedings of a discussion meeting of the Royal Society of London on Mathematical Logic and Programming Languages, pp. 141\u2013155. Prentice-Hall Inc., Upper Saddle River (1985)"},{"key":"16_CR13","volume-title":"Unifying Theories of Programming","author":"CAR Hoare","year":"1998","unstructured":"Hoare, C.A.R., He, J.: Unifying Theories of Programming. Prentice-Hall International, Englewood Cliffs (1998)"},{"key":"16_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1007\/978-3-642-04081-8_27","volume-title":"CONCUR 2009 - Concurrency Theory","author":"CART Hoare","year":"2009","unstructured":"Hoare, C.A.R.T., M\u00f6ller, B., Struth, G., Wehrman, I.: Concurrent kleene algebra. In: Bravetti, M., Zavattaro, G. (eds.) CONCUR 2009. LNCS, vol. 5710, pp. 399\u2013414. Springer, Heidelberg (2009). \nhttps:\/\/doi.org\/10.1007\/978-3-642-04081-8_27"},{"key":"16_CR15","unstructured":"Jones, C.B.: Developing methods for computer programs including a notion of interference. Ph.D. thesis, University of Oxford, UK (1981)"},{"key":"16_CR16","unstructured":"Jones, C.B.: Development methods for computer programs including a notion of interference (PRG-25), p. 265, June 1981"},{"issue":"4","key":"16_CR17","doi-asserted-by":"crossref","first-page":"596","DOI":"10.1145\/69575.69577","volume":"5","author":"CB Jones","year":"1983","unstructured":"Jones, C.B.: Tentative steps toward a development method for interfering programs. ACM Trans. Program. Lang. Syst. 5(4), 596\u2013619 (1983). \nhttp:\/\/doi.acm.org\/10.1145\/69575.69577","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"16_CR18","doi-asserted-by":"crossref","unstructured":"Lamport, L.: An axiomatic semantics of concurrent programming languages. In: Apt, K.R. (eds.) Logics and Models of Concurrent Systems. NATO ASI Series (Series F: Computer and Systems Sciences), vol. 13, pp. 77\u2013122. Springer, Heidelberg (1985). \nhttps:\/\/doi.org\/10.1007\/978-3-642-82453-1_4","DOI":"10.1007\/978-3-642-82453-1_4"},{"issue":"6","key":"16_CR19","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1145\/2771951","volume":"58","author":"L Lamport","year":"2015","unstructured":"Lamport, L.: Turing lecture: the computer science of concurrency: the early years. Commun. ACM 58(6), 71\u201376 (2015). \nhttp:\/\/doi.acm.org\/10.1145\/2771951","journal-title":"Commun. ACM"},{"key":"16_CR20","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1007\/BF00268134","volume":"6","author":"SS Owicki","year":"1976","unstructured":"Owicki, S.S., Gries, D.: An axiomatic proof technique for parallel programs I. Acta Inf. 6, 319\u2013340 (1976). \nhttps:\/\/doi.org\/10.1007\/BF00268134","journal-title":"Acta Inf."},{"key":"16_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/978-3-319-14806-9_4","volume-title":"Unifying Theories of Programming","author":"S Staden","year":"2015","unstructured":"Staden, S.: Constructing the views framework. In: Naumann, D. (ed.) UTP 2014. LNCS, vol. 8963, pp. 62\u201383. Springer, Cham (2015). \nhttps:\/\/doi.org\/10.1007\/978-3-319-14806-9_4"},{"key":"16_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1007\/978-3-319-19797-5_2","volume-title":"Mathematics of Program Construction","author":"S Staden","year":"2015","unstructured":"Staden, S.: On rely-guarantee reasoning. In: Hinze, R., Voigtl\u00e4nder, J. (eds.) MPC 2015. LNCS, vol. 9129, pp. 30\u201349. Springer, Cham (2015). \nhttps:\/\/doi.org\/10.1007\/978-3-319-19797-5_2"},{"key":"16_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1007\/3-540-36103-0_5","volume-title":"Formal Methods and Software Engineering","author":"J Woodcock","year":"2002","unstructured":"Woodcock, J., Hughes, A.: Unifying theories of parallel programming. In: George, C., Miao, H. (eds.) ICFEM 2002. LNCS, vol. 2495, pp. 24\u201337. Springer, Heidelberg (2002). \nhttps:\/\/doi.org\/10.1007\/3-540-36103-0_5"}],"container-title":["Lecture Notes in Computer Science","Formal Methods: Foundations and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-70848-5_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,1,8]],"date-time":"2018-01-08T10:50:10Z","timestamp":1515408610000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-70848-5_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319708478","9783319708485"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-70848-5_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}