{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T13:52:13Z","timestamp":1648821133357},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2016,3,1]],"date-time":"2016-03-01T00:00:00Z","timestamp":1456790400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J. Comput. Sci. Technol."],"published-print":{"date-parts":[[2016,3]]},"DOI":"10.1007\/s11390-016-1628-4","type":"journal-article","created":{"date-parts":[[2016,3,18]],"date-time":"2016-03-18T16:29:20Z","timestamp":1458318560000},"page":"300-316","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Complete Proof Systems for Amortised Probabilistic Bisimulations"],"prefix":"10.1007","volume":"31","author":[{"given":"Li-Li","family":"Xu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hui-Min","family":"Lin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,3,7]]},"reference":[{"key":"1628_CR1","unstructured":"Milner R. Communication and Concurrency. Upper Saddle River, NJ, USA: Prentice Hall, 1989."},{"issue":"3","key":"1628_CR2","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1007\/BF01384078","volume":"7","author":"H Lin","year":"1995","unstructured":"Lin H. PAM: A process algebra manipulator. Formal Methods in System Design, 1995, 7(3): 243\u2013259.","journal-title":"Formal Methods in System Design"},{"issue":"1","key":"1628_CR3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0890-5401(91)90030-6","volume":"94","author":"KG Larsen","year":"1991","unstructured":"Larsen K G, Skou A. Bisimulation through probabilistic testing. Information and Computation, 1991, 94(1): 1\u201328.","journal-title":"Information and Computation"},{"key":"1628_CR4","doi-asserted-by":"crossref","unstructured":"Kiehn A, Arun-Kumar S. Amortised bisimulations. In Proc. the 25th FORTE, Oct. 2005, pp.320-334.","DOI":"10.1007\/11562436_24"},{"key":"1628_CR5","doi-asserted-by":"crossref","unstructured":"de Frutos-Escrig D, Rosa-Velardo F, Gregorio-Rodr\u00b4\u0131guez C. New bisimulation semantics for distributed systems. In Proc. the 27th FORTE, June 2007, pp.143-159.","DOI":"10.1007\/978-3-540-73196-2_10"},{"key":"1628_CR6","doi-asserted-by":"crossref","unstructured":"Xu L, Chatzikokolakis K, Lin H. Metrics for differential privacy in concurrent systems. In Proc. the 34th FORTE, June 2014, pp.199-215.","DOI":"10.1007\/978-3-662-43613-4_13"},{"key":"1628_CR7","doi-asserted-by":"crossref","unstructured":"Dwork C. Differential privacy. In Proc. the 33rd ICALP, July 2006, pp.1-12.","DOI":"10.1007\/11787006_1"},{"key":"1628_CR8","doi-asserted-by":"crossref","unstructured":"Chatzikokolakis K, Andr\u00b4es M E, Bordenabe N E, Palamidessi C. Broadening the scope of differential privacy using metrics. In Proc. the 13th Int. Symp. Privacy Enhancing Technologies, July 2013, pp.82-102.","DOI":"10.1007\/978-3-642-39077-7_5"},{"key":"1628_CR9","doi-asserted-by":"crossref","unstructured":"Bandini E, Segala R. Axiomatizations for probabilistic bisimulation. In Proc. the 28th ICALP, July 2001, pp.370-381.","DOI":"10.1007\/3-540-48224-5_31"},{"key":"1628_CR10","doi-asserted-by":"crossref","unstructured":"Hennessy M. A calculus for costed computations. Logical Methods in Computer Science, 2011, 7(1): 7:1\u20137:35.","DOI":"10.2168\/LMCS-7(1:7)2011"},{"issue":"12","key":"1628_CR11","doi-asserted-by":"crossref","first-page":"2537","DOI":"10.1016\/j.scico.2013.02.009","volume":"78","author":"Y Deng","year":"2013","unstructured":"Deng Y, Hennessy M. Compositional reasoning for weighted Markov decision processes. Science of Computer Programming, 2013, 78(12): 2537\u20132579.","journal-title":"Science of Computer Programming"},{"key":"1628_CR12","doi-asserted-by":"crossref","unstructured":"Desharnais J, Laviolette F, Tracol M. Approximate analysis of probabilistic processes: Logic, simulation and games. In Proc. the 5th International Conference on Quantitative Evaluation of Systems, Sept. 2008, pp.264-273.","DOI":"10.1109\/QEST.2008.42"},{"key":"1628_CR13","doi-asserted-by":"crossref","unstructured":"Tracol M, Desharnais J, Zhioua A. Computing distances between probabilistic automata. In Proc. the 9th QAPL, April 2011, pp.148-162.","DOI":"10.4204\/EPTCS.57.11"},{"key":"1628_CR14","doi-asserted-by":"crossref","unstructured":"Deng Y, Palamidessi C, Pang J. Compositional reasoning for probabilistic finite-state behaviors. In Lecture Notes in Computer Science 3838, Middeldorp A, van Oostrom V, van Raamsdonk F, de Vrijer (eds.), Spring-Verlag, 2005, pp.309\u2013337.","DOI":"10.1007\/11601548_17"},{"key":"1628_CR15","doi-asserted-by":"crossref","unstructured":"Deng Y, Palamidessi C. Axiomatizations for probabilistic finite-state behaviors. In Proc. the 8th FoSSaCS, April 2005, pp.110\u2013124.","DOI":"10.1007\/978-3-540-31982-5_7"},{"key":"1628_CR16","unstructured":"Segala R. Modeling and verification of randomized distributed real-time systems [Ph.D. Thesis]. Massachusetts Institute of Technology, 1995."},{"issue":"2","key":"1628_CR17","first-page":"250","volume":"2","author":"R Segala","year":"1995","unstructured":"Segala R, Lynch N. Probabilistic simulations for probabilistic processes. Nordic Journal of Computing, 1995, 2(2): 250\u2013273.","journal-title":"Nordic Journal of Computing"},{"key":"1628_CR18","doi-asserted-by":"crossref","unstructured":"Hennessy M, Lin H. Proof systems for message-passing process algebras. In Proc. the 4th CONCUR, August 1993, pp.202-216.","DOI":"10.1007\/3-540-57208-2_15"},{"key":"1628_CR19","doi-asserted-by":"crossref","unstructured":"Desharnais J, Jagadeesan R, Gupta V, Panangaden P. The metric analogue of weak bisimulation for probabilistic processes. In Proc. the 17th LICS, July 2002, pp.413-422.","DOI":"10.1109\/LICS.2002.1029849"},{"key":"1628_CR20","doi-asserted-by":"crossref","unstructured":"D\u2019Argenio P R, Gebler D, Lee M D. Axiomatizing bisimulation equivalences and metrics from probabilistic SOS rules. In Proc. the 17th FoSSaCS, April 2014, pp.289-303.","DOI":"10.1007\/978-3-642-54830-7_19"},{"key":"1628_CR21","doi-asserted-by":"crossref","unstructured":"Chatzikokolakis K, Gebler D, Palamidessi C, Xu L. Generalized bisimulation metrics. In Proc. the 25th CONCUR, Sept. 2014, pp.32-46.","DOI":"10.1007\/978-3-662-44584-6_4"}],"container-title":["Journal of Computer Science and Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11390-016-1628-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11390-016-1628-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11390-016-1628-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,5]],"date-time":"2019-09-05T14:29:16Z","timestamp":1567693756000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11390-016-1628-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,3]]},"references-count":21,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2016,3]]}},"alternative-id":["1628"],"URL":"https:\/\/doi.org\/10.1007\/s11390-016-1628-4","relation":{},"ISSN":["1000-9000","1860-4749"],"issn-type":[{"value":"1000-9000","type":"print"},{"value":"1860-4749","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,3]]}}}