{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,6]],"date-time":"2025-05-06T06:02:35Z","timestamp":1746511355857,"version":"3.28.0"},"reference-count":11,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/lics.2003.1210074","type":"proceedings-article","created":{"date-parts":[[2003,12,22]],"date-time":"2003-12-22T12:34:10Z","timestamp":1072096450000},"page":"341-350","source":"Crossref","is-referenced-by-count":3,"title":["Labeled Markov processes: stronger and faster approximations"],"prefix":"10.1109","author":[{"given":"V.","family":"Danos","sequence":"first","affiliation":[]},{"given":"J.","family":"Desharnais","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Labelled Markov Processes","year":"1999","author":"desharnais","key":"ref4"},{"article-title":"Conditional expectation and the approximation of labeled Markov processes","year":"2003","author":"danos","key":"ref3"},{"key":"ref10","first-page":"42","article-title":"A calculus of mobile processes I and II","volume":"100","author":"milner","year":"1992","journal-title":"Information and Computation"},{"key":"ref6","article-title":"Metrics for labeled Markov processes","author":"desharnais","year":"1999","journal-title":"Proceedings of CONCUR99"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511813658"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1006\/inco.2001.2962"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-62688-3_37"},{"key":"ref7","first-page":"95","article-title":"Approximating continuous Markov processes","author":"desharnais","year":"2000","journal-title":"15th Annual IEEE Symposium on Logic in Comp Sc"},{"article-title":"Note sur les chaînes de Markov étiquetées","year":"2002","author":"danos","key":"ref2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2455.2460"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.5802\/aif.53"}],"event":{"name":"18th Annual IEEE Symposium on Logic in Computer Science","acronym":"LICS-03","location":"Ottawa, Ont., Canada"},"container-title":["18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8592\/27231\/01210074.pdf?arnumber=1210074","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T13:11:08Z","timestamp":1489410668000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1210074\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/lics.2003.1210074","relation":{},"subject":[]}}