{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,30]],"date-time":"2026-01-30T05:15:33Z","timestamp":1769750133708,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642412011","type":"print"},{"value":"9783642412028","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-41202-8_15","type":"book-chapter","created":{"date-parts":[[2013,10,21]],"date-time":"2013-10-21T05:11:19Z","timestamp":1382332279000},"page":"215-230","source":"Crossref","is-referenced-by-count":8,"title":["A UTP Semantics for Communicating Processes with Shared Variables"],"prefix":"10.1007","author":[{"given":"Ling","family":"Shi","sequence":"first","affiliation":[]},{"given":"Yongxin","family":"Zhao","sequence":"additional","affiliation":[]},{"given":"Yang","family":"Liu","sequence":"additional","affiliation":[]},{"given":"Jun","family":"Sun","sequence":"additional","affiliation":[]},{"given":"Jin Song","family":"Dong","sequence":"additional","affiliation":[]},{"given":"Shengchao","family":"Qin","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"15_CR1","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1006\/inco.1996.0056","volume":"127","author":"S.D. Brookes","year":"1996","unstructured":"Brookes, S.D.: Full abstraction for a shared-variable parallel language. Inf. Comput.\u00a0127(2), 145\u2013163 (1996)","journal-title":"Inf. Comput."},{"key":"15_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/11889229_6","volume-title":"Refinement Techniques in Software Engineering","author":"A. Cavalcanti","year":"2006","unstructured":"Cavalcanti, A., Woodcock, J.: A tutorial introduction to CSP in unifying theories of programming. In: Cavalcanti, A., Sampaio, A., Woodcock, J. (eds.) PSSE 2004. LNCS, vol.\u00a03167, pp. 220\u2013268. Springer, Heidelberg (2006)"},{"key":"15_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1007\/978-3-642-00255-7_9","volume-title":"Integrated Formal Methods","author":"R. Colvin","year":"2009","unstructured":"Colvin, R., Hayes, I.J.: CSP with Hierarchical State. In: Leuschel, M., Wehrheim, H. (eds.) IFM 2009. LNCS, vol.\u00a05423, pp. 118\u2013135. Springer, Heidelberg (2009)"},{"key":"15_CR4","unstructured":"Fischer, C.: Combining Object-Z and CSP. In: FBT, pp. 119\u2013128 (1997)"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"Galloway, A.J., Stoddart, W.J.: An Operational Semantics for ZCCS. In: ICFEM, pp. 272\u2013282 (1997)","DOI":"10.1109\/ICFEM.1997.630434"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"Hoare, C.: Communicating Sequential Processes. Prentice-Hall (1985)","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"Hoare, C., He, J.: Unifying Theories of Programming. Prentice-Hall (1998)","DOI":"10.1007\/BFb0002714"},{"issue":"1-2","key":"15_CR8","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/s00165-007-0052-5","volume":"21","author":"M. Oliveira","year":"2009","unstructured":"Oliveira, M., Cavalcanti, A., Woodcock, J.: A UTP Semantics for Circus. Formal Asp. Comput.\u00a021(1-2), 3\u201332 (2009)","journal-title":"Formal Asp. Comput."},{"key":"15_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/978-3-540-45236-2_19","volume-title":"FME 2003: Formal Methods","author":"S. Qin","year":"2003","unstructured":"Qin, S., Dong, J.S., Chin, W.-N.: A Semantic Foundation for TCOZ in Unifying Theories of Programming. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. LNCS, vol.\u00a02805, pp. 321\u2013340. Springer, Heidelberg (2003)"},{"key":"15_CR10","unstructured":"Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice Hall (1997)"},{"issue":"4","key":"15_CR11","doi-asserted-by":"publisher","first-page":"390","DOI":"10.1007\/s00165-005-0076-7","volume":"17","author":"S. Schneider","year":"2005","unstructured":"Schneider, S., Treharne, H.: CSP Theorems for Communicating B Machines. Formal Asp. Comput.\u00a017(4), 390\u2013422 (2005)","journal-title":"Formal Asp. Comput."},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"Shi, L.: A UTP Semantics for Communicating Processes with Shared Variables. Technical report, NUS (2013), http:\/\/www.comp.nus.edu.sg\/~shiling\/Tech13.pdf","DOI":"10.1007\/978-3-642-41202-8_15"},{"key":"15_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/3-540-63533-5_4","volume-title":"FME \u201997 Industrial Applications and Strengthened Foundations of Formal Methods","author":"G. Smith","year":"1997","unstructured":"Smith, G.: A Semantic Integration of Object-Z and CSP for the Specification of Concurrent Systems. In: Fitzgerald, J.S., Jones, C.B., Lucas, P. (eds.) FME 1997. LNCS, vol.\u00a01313, pp. 62\u201381. Springer, Heidelberg (1997)"},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"Sun, J., Liu, Y., Dong, J.S., Chen, C.: Integrating Specification and Programs for System Modeling and Verification. In: TASE, pp. 127\u2013135 (2009)","DOI":"10.1109\/TASE.2009.32"},{"key":"15_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"709","DOI":"10.1007\/978-3-642-02658-4_59","volume-title":"Computer Aided Verification","author":"J. Sun","year":"2009","unstructured":"Sun, J., Liu, Y., Dong, J.S., Pang, J.: PAT: Towards Flexible Verification under Fairness. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol.\u00a05643, pp. 709\u2013714. Springer, Heidelberg (2009)"},{"key":"15_CR16","doi-asserted-by":"crossref","unstructured":"Taguchi, K., Araki, K.: The State-Based CCS Semantics for Concurrent Z Specification. In: ICFEM, pp. 283\u2013292 (1997)","DOI":"10.1109\/ICFEM.1997.630435"},{"key":"15_CR17","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3054.001.0001","volume-title":"The Formal Semantics of Programming Languages: An Introduction","author":"G. Winskel","year":"1993","unstructured":"Winskel, G.: The Formal Semantics of Programming Languages: An Introduction. MIT Press, Cambridge (1993)"},{"key":"15_CR18","doi-asserted-by":"crossref","unstructured":"Woodcock, J., Larsen, P.G., Bicarregui, J., Fitzgerald, J.S.: Formal Methods: Practice and Experience. ACM Comput. Surv.\u00a041(4) (2009)","DOI":"10.1145\/1592434.1592436"},{"key":"15_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1007\/3-540-44798-9_34","volume-title":"Correct Hardware Design and Verification Methods","author":"Z. Huibiao","year":"2001","unstructured":"Huibiao, Z., Bowen, J.P., Jifeng, H.: From Operational Semantics to Denotational Semantics for Verilog. In: Margaria, T., Melham, T.F. (eds.) CHARME 2001. LNCS, vol.\u00a02144, pp. 449\u2013464. Springer, Heidelberg (2001)"},{"key":"15_CR20","doi-asserted-by":"crossref","unstructured":"Zhu, H., He, J., Bowen, J.P.: From algebraic semantics to denotational semantics for verilog. In: ISSE, vol.\u00a04(4), pp. 341\u2013360 (2008)","DOI":"10.1007\/s11334-008-0069-9"},{"key":"15_CR21","doi-asserted-by":"crossref","unstructured":"Zhu, H., Qin, S., He, J., Bowen, J.P.: PTSC: probability, time and shared-variable concurrency. In: ISSE, vol.\u00a05(4), pp. 271\u2013284 (2009)","DOI":"10.1007\/s11334-009-0100-9"},{"issue":"1","key":"15_CR22","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1016\/j.jlap.2011.06.003","volume":"81","author":"H. Zhu","year":"2012","unstructured":"Zhu, H., Yang, F., He, J., Bowen, J.P., Sanders, J.W., Qin, S.: Linking Operational Semantics and Algebraic Semantics for a Probabilistic Timed Shared-Variable Language. J. Log. Algebr. Program.\u00a081(1), 2\u201325 (2012)","journal-title":"J. Log. Algebr. Program."}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-41202-8_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T17:42:45Z","timestamp":1746034965000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-41202-8_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642412011","9783642412028"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-41202-8_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}