{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,5,30]],"date-time":"2022-05-30T05:06:04Z","timestamp":1653887164327},"reference-count":20,"publisher":"Elsevier BV","issue":"6","license":[{"start":{"date-parts":[[2009,3,1]],"date-time":"2009-03-01T00:00:00Z","timestamp":1235865600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/linproxy.fan.workers.dev:443\/https\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":1599,"URL":"https:\/\/linproxy.fan.workers.dev:443\/https\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computers & Mathematics with Applications"],"published-print":{"date-parts":[[2009,3]]},"DOI":"10.1016\/j.camwa.2008.10.041","type":"journal-article","created":{"date-parts":[[2008,12,1]],"date-time":"2008-12-01T09:27:34Z","timestamp":1228123654000},"page":"991-999","source":"Crossref","is-referenced-by-count":2,"title":["On metrics for probabilistic systems: Definitions and algorithms"],"prefix":"10.1016","volume":"57","author":[{"given":"Taolue","family":"Chen","sequence":"first","affiliation":[]},{"given":"Tingting","family":"Han","sequence":"additional","affiliation":[]},{"given":"Jian","family":"Lu","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"issue":"4","key":"10.1016\/j.camwa.2008.10.041_b1","doi-asserted-by":"crossref","first-page":"537","DOI":"10.1145\/320211.320240","article-title":"New results on quantifier elimination over real closed fields and applications to constraint databases","volume":"46","author":"Basu","year":"1999","journal-title":"Journal of ACM"},{"key":"10.1016\/j.camwa.2008.10.041_b2","series-title":"Validation of Stochastic Systems \u2014 A Guide to Current Research","volume":"vol. 2925","author":"Baier","year":"2004"},{"key":"10.1016\/j.camwa.2008.10.041_b3","series-title":"Proc. of CONCUR\u201905","first-page":"141","article-title":"A behavioural pseudometric for metric labelled transition systems","volume":"vol. 3653","author":"van Breugel","year":"2005"},{"key":"10.1016\/j.camwa.2008.10.041_b4","series-title":"Proc. of FoSSaCS\u201907","first-page":"123","article-title":"Approximating a behavioural pseudometric without discount","volume":"vol. 4423","author":"van Breugel","year":"2007"},{"key":"10.1016\/j.camwa.2008.10.041_b5","series-title":"Proc. of CONCUR\u201901","first-page":"336","article-title":"An algorithm for quantitative verification of probabilistic transition systems","volume":"vol. 2154","author":"van Breugel","year":"2001"},{"issue":"1","key":"10.1016\/j.camwa.2008.10.041_b6","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/j.tcs.2004.09.035","article-title":"A behavioural pseudometric for probabilistic transition systems","volume":"331","author":"van Breugel","year":"2005","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/j.camwa.2008.10.041_b7","series-title":"Proc. of FSKD\u201907","first-page":"21","article-title":"On behavioral metric for probabilistic systems: Definition and approximation Algorithm","author":"Chen","year":"2007"},{"issue":"2","key":"10.1016\/j.camwa.2008.10.041_b8","first-page":"79","article-title":"Metrics for action-labelled quantitative transition systems","volume":"153","author":"Deng","year":"2006","journal-title":"ENTCS"},{"key":"10.1016\/j.camwa.2008.10.041_b9","series-title":"Proc. of LICS\u201902","first-page":"413","article-title":"The metric analogue of weak bisimulation for probabilistic processes","author":"Desharnais","year":"2002"},{"issue":"3","key":"10.1016\/j.camwa.2008.10.041_b10","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1016\/j.tcs.2003.09.013","article-title":"Metrics for labelled Markov processes","volume":"318","author":"Desharnais","year":"2004","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/j.camwa.2008.10.041_b11","unstructured":"A. Giacalone, C.-C. Jou, S.A. Smolka, Algebraic reasoning for probabilistic concurrent systems, in: Proc. of IFIP WG 2.2\/2.3 PCM\u201990, 1990, pp. 453\u2013459"},{"issue":"1","key":"10.1016\/j.camwa.2008.10.041_b12","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1006\/inco.1995.1123","article-title":"Reactive, generative, and stratified models of probabilistic processes","volume":"121","author":"van Glabbeek","year":"1995","journal-title":"Information and Computation"},{"issue":"1","key":"10.1016\/j.camwa.2008.10.041_b13","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0890-5401(91)90030-6","article-title":"Bisimulation through probabilistic testing","volume":"94","author":"Larsen","year":"1991","journal-title":"Information and Computation"},{"key":"10.1016\/j.camwa.2008.10.041_b14","series-title":"Communication and Concurrency","author":"Milner","year":"1989"},{"key":"10.1016\/j.camwa.2008.10.041_b15","series-title":"Proc. of CONCUR\u201900","first-page":"334","article-title":"Weak bisimulation for probabilistic systems","volume":"vol. 1877","author":"Philippou","year":"2000"},{"key":"10.1016\/j.camwa.2008.10.041_b16","doi-asserted-by":"crossref","first-page":"230","DOI":"10.1016\/S0019-9958(63)90290-0","article-title":"Probabilistic automata","volume":"6","author":"Rabin","year":"1963","journal-title":"Information and Control"},{"key":"10.1016\/j.camwa.2008.10.041_b17","unstructured":"R. Segala, Modeling and verification of randomized distributed real-time systems, Technical Report MIT\/LCS\/TR-676, PhD thesis, Massachusetts Institute of Technology, 1995"},{"key":"10.1016\/j.camwa.2008.10.041_b18","first-page":"176","article-title":"An introduction to probabilistic automata","volume":"78","author":"Stoelinga","year":"2002","journal-title":"Bulletin of the EATCS"},{"key":"10.1016\/j.camwa.2008.10.041_b19","series-title":"A Decision Method for Elementary Algebra and Geometry","author":"Traski","year":"1951"},{"key":"10.1016\/j.camwa.2008.10.041_b20","doi-asserted-by":"crossref","first-page":"285","DOI":"10.2140\/pjm.1955.5.285","article-title":"A lattice-theoretical fixpoint theorem and its applications","volume":"5","author":"Tarski","year":"1955","journal-title":"Pacific Journal of Mathematics"}],"container-title":["Computers & Mathematics with Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/linproxy.fan.workers.dev:443\/https\/api.elsevier.com\/content\/article\/PII:S0898122108005737?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/linproxy.fan.workers.dev:443\/https\/api.elsevier.com\/content\/article\/PII:S0898122108005737?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2018,12,24]],"date-time":"2018-12-24T01:56:46Z","timestamp":1545616606000},"score":1,"resource":{"primary":{"URL":"https:\/\/linproxy.fan.workers.dev:443\/https\/linkinghub.elsevier.com\/retrieve\/pii\/S0898122108005737"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,3]]},"references-count":20,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2009,3]]}},"alternative-id":["S0898122108005737"],"URL":"https:\/\/linproxy.fan.workers.dev:443\/https\/doi.org\/10.1016\/j.camwa.2008.10.041","relation":{},"ISSN":["0898-1221"],"issn-type":[{"value":"0898-1221","type":"print"}],"subject":[],"published":{"date-parts":[[2009,3]]}}}