{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T06:32:18Z","timestamp":1759991538955},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642357046"},{"type":"electronic","value":"9783642357053"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-35705-3_11","type":"book-chapter","created":{"date-parts":[[2013,1,2]],"date-time":"2013-01-02T01:49:52Z","timestamp":1357091392000},"page":"224-247","source":"Crossref","is-referenced-by-count":7,"title":["Denotational Semantics for a Probabilistic Timed Shared-Variable Language"],"prefix":"10.1007","author":[{"given":"Huibiao","family":"Zhu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeff W.","family":"Sanders","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jifeng","family":"He","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shengchao","family":"Qin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","unstructured":"den Hartog, J.: Probabilistic Extensions of Semantic Models. PhD thesis, Vrije University, The Netherlands (2002)"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"den Hartog, J., de Vink, E.: Mixing up nondeteminism and probability: A premliminary report. Electronic Notes in Theoretical Computer Science\u00a022 (1999)","DOI":"10.1016\/S1571-0661(05)82521-6"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"den Hartog, J., de Vink, E., de Bakker, J.: Metric semantics and full abstractness for action refinement and probabilistic choice. Electronic Notes in Theoretical Computer Science\u00a040 (2001)","DOI":"10.1016\/S1571-0661(05)80038-6"},{"key":"11_CR4","unstructured":"He, J.: Provably Correct Systems: Modelling of Communication Languages and Design of Optimized Compilers. The McGraw-Hill International Series in Software Engineering (1994)"},{"issue":"2-3","key":"11_CR5","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/S0167-6423(96)00019-6","volume":"28","author":"J. He","year":"1997","unstructured":"He, J., Seidel, K., McIver, A.: Probabilistic models for the guarded command language. Science of Computer Programming\u00a028(2-3), 171\u2013192 (1997)","journal-title":"Science of Computer Programming"},{"key":"11_CR6","unstructured":"He, J., Zhu, H.: Formalising Verilog. In: Proc. ICECS 2000: IEEE International Conference on Electronics, Circuits and Systems, pp. 412\u2013415. IEEE Computer Society Press (December 2000)"},{"key":"11_CR7","unstructured":"Hoare, C.A.R., He, J.: Unifying Theories of Programming. Prentice Hall International Series in Computer Science (1998)"},{"issue":"1-2","key":"11_CR8","doi-asserted-by":"publisher","first-page":"513","DOI":"10.1016\/S0304-3975(00)00208-5","volume":"266","author":"A. McIver","year":"2001","unstructured":"McIver, A., Morgan, C.: Partial correctness for probabilistic demonic programs. Theoretical Computer Science\u00a0266(1-2), 513\u2013541 (2001)","journal-title":"Theoretical Computer Science"},{"key":"11_CR9","unstructured":"McIver, A., Morgan, C.: Abstraction, Refinement and Proof of Probability Systems. Monographs in Computer Science. Springer (October 2004)"},{"issue":"3","key":"11_CR10","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1145\/229542.229547","volume":"18","author":"A. McIver","year":"1996","unstructured":"McIver, A., Morgan, C., Seidel, K.: Probabilistic predicate transformers. ACM Transactions on Programming Languages and Systems\u00a018(3), 325\u2013353 (1996)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"11_CR11","unstructured":"Ndukwu, U., Sanders, J.W.: Reason about a distributed probabilistic system. Technical Report 401, UNU\/IIST, P.O. Box 3058, Macau SAR, China (August. 2008)"},{"key":"11_CR12","unstructured":"Nissanke, N.: Realtime Systems. Prentice Hall International Series in Computer Science (1997)"},{"key":"11_CR13","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/S1567-8326(02)00069-3","volume":"56","author":"M. N\u00fa\u00f1ez","year":"2003","unstructured":"N\u00fa\u00f1ez, M.: Algebraic theory of probabilistic processes. The Journal of Logic and Algebraic Programming\u00a056, 117\u2013177 (2003)","journal-title":"The Journal of Logic and Algebraic Programming"},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"N\u00fa\u00f1ez, M., de Frutos-Escrig, D.: Testing semantics for probabilistic LOTOS. In: Proc FORTE 1995: IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada. IFIP Conference Proceedings, vol.\u00a043, pp. 367\u2013382. Chapman and Hall (1996)","DOI":"10.1007\/978-0-387-34945-9_27"},{"key":"11_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/3-540-60218-6_18","volume-title":"CONCUR \u201995 Concurrency Theory","author":"M. N\u00fa\u00f1ez","year":"1995","unstructured":"N\u00fa\u00f1ez, M., de Frutos-Escrig, D., D\u00edaz, L.F.L.: Acceptance Trees for Probabilistic Processes. In: Lee, I., Smolka, S.A. (eds.) CONCUR 1995. LNCS, vol.\u00a0962, pp. 249\u2013263. Springer, Heidelberg (1995)"},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"Park, S., Pfenning, F., Thrun, S.: A probabilistic language based upon sampling functions. In: Proc. POPL 2005: 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 171\u2013182. ACM (January 2005)","DOI":"10.1145\/1047659.1040320"},{"key":"11_CR17","unstructured":"Zhu, H.: Linking the Semantics of a Multithreaded Discrete Event Simulation Language. PhD thesis, London South Bank University (February 2005)"},{"issue":"4","key":"11_CR18","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1007\/s11334-008-0069-9","volume":"4","author":"H. Zhu","year":"2008","unstructured":"Zhu, H., He, J., Bowen, J.P.: From algebraic semantics to denotational semantics for verilog. Innovations in Systems and Software Engineering: A NASA Journal\u00a04(4), 341\u2013360 (2008)","journal-title":"Innovations in Systems and Software Engineering: A NASA Journal"},{"issue":"4","key":"11_CR19","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/s11334-009-0100-9","volume":"5","author":"H. Zhu","year":"2009","unstructured":"Zhu, H., Qin, S., He, J., Bowen, J.P.: PTSC: probability, time and shared-variable concurrency. Innovations in Systems and Software Engineering: A NASA Journal\u00a05(4), 271\u2013284 (2009)","journal-title":"Innovations in Systems and Software Engineering: A NASA Journal"},{"issue":"1","key":"11_CR20","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","Unifying Theories of Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35705-3_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T13:24:16Z","timestamp":1620134656000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35705-3_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642357046","9783642357053"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35705-3_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}