{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,20]],"date-time":"2025-07-20T03:35:58Z","timestamp":1752982558078,"version":"3.28.0"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,7]]},"DOI":"10.1109\/iscc.2008.4625616","type":"proceedings-article","created":{"date-parts":[[2008,9,18]],"date-time":"2008-09-18T15:09:41Z","timestamp":1221750581000},"page":"706-713","source":"Crossref","is-referenced-by-count":2,"title":["Operational semantics of probabilistic Kleene algebra with tests"],"prefix":"10.1109","author":[{"family":"Rui Qiao","sequence":"first","affiliation":[]},{"family":"Yuan Wang","sequence":"additional","affiliation":[]},{"family":"Xinyan Gao","sequence":"additional","affiliation":[]},{"family":"Jinzhao Wu","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Semantics with Applications","year":"1992","author":"nielson","key":"19"},{"year":"0","key":"22"},{"key":"17","first-page":"14","article-title":"pgcl: formal reasoning for random algorithms","volume":"22","author":"morgan","year":"1999","journal-title":"South African Computer Journal"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1016\/B978-044482830-9\/50019-9"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1145\/229542.229547"},{"journal-title":"Abstraction Refinement And Proof For Probabilistic Systems","year":"2004","author":"mciver","key":"15"},{"key":"16","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","article-title":"a calculus of communicating systems","volume":"92","author":"milner","year":"1980","journal-title":"Lecture Notes in Computer Science"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/s002360000046"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00208-5"},{"journal-title":"Mathematical theory of computation","year":"1974","author":"manna","key":"11"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1007\/11828563_20"},{"journal-title":"Modeling and Verification of Randomized Distributed Real-Time Systems","year":"1995","author":"segala","key":"21"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1007\/BF01221097"},{"article-title":"a structural approach to operational semantics","year":"1981","author":"plotkin","key":"20"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(79)90046-1"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.3166\/jancl.16.9-33"},{"key":"10","first-page":"60","article-title":"on hoare logic and kleene algebra with tests","author":"kozen","year":"2001","journal-title":"Trans Computational Logic"},{"journal-title":"Probabilistic non-determinism","year":"1990","author":"jones","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(96)00019-6"},{"journal-title":"Probabilistic extensions of semantical models","year":"2002","author":"hartog","key":"5"},{"key":"4","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2516.001.0001","author":"harel","year":"2000","journal-title":"Dynamic Logic"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/256167.256195"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(81)90036-2"}],"event":{"name":"2008 IEEE Symposium on Computers and Communications (ISCC)","start":{"date-parts":[[2008,7,6]]},"location":"Marrakech","end":{"date-parts":[[2008,7,9]]}},"container-title":["2008 IEEE Symposium on Computers and Communications"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4607772\/4625572\/04625616.pdf?arnumber=4625616","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,13]],"date-time":"2019-05-13T22:43:22Z","timestamp":1557787402000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4625616\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,7]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/iscc.2008.4625616","relation":{},"subject":[],"published":{"date-parts":[[2008,7]]}}}