{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T11:10:40Z","timestamp":1730200240636,"version":"3.28.0"},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,12]]},"DOI":"10.1109\/bibmw.2010.5703869","type":"proceedings-article","created":{"date-parts":[[2011,1,28]],"date-time":"2011-01-28T15:12:31Z","timestamp":1296227551000},"page":"603-608","source":"Crossref","is-referenced-by-count":1,"title":["Goal based bisimulation for testing therapies in traditional Chinese medicine"],"prefix":"10.1109","author":[{"given":"Guang","family":"Zheng","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaojuan","family":"He","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Miao","family":"Jiang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aiping","family":"Lu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","article-title":"Syntax, Semantics, Equivalences, and Axioms for MTIPP","author":"hermanns","year":"1994","journal-title":"Proc of the 2nd Workshop on Process Algebras and Performance Modelling"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569951"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2005.35"},{"article-title":"Communicating Sequential Process","year":"1985","author":"hoare","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0039071"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(91)90030-6"},{"article-title":"Communication and Concurrency","year":"1989","author":"milner","key":"ref16"},{"key":"ref17","article-title":"Axioms for Probability and Nondeterminism","volume":"91","author":"mislove","year":"2003","journal-title":"Proc EXPRESS'03 ENTCS"},{"key":"ref18","first-page":"407","article-title":"A testing scenario for probabilistic automata","volume":"2719","author":"stoelinga","year":"2003","journal-title":"Proceedings 30 ICALP"},{"key":"ref19","first-page":"227","article-title":"Describing Social Insect Behaviour using Process Algebra","volume":"9","author":"tofts","year":"1992","journal-title":"Transactions of the Society for Computer Simulation"},{"key":"ref4","first-page":"183c231","article-title":"Process Algebra and Markov Chains","volume":"2001","author":"brinksma","year":"2001","journal-title":"FMPA2000 LNCS 2090"},{"key":"ref3","article-title":"Compositional asymmetric cooperations for process algebras with probabilities, priorities, and time","volume":"39","author":"bravetti","year":"0","journal-title":"Proc of the 1st International Workshop on Models for Time Critical Systems"},{"key":"ref6","first-page":"29c56","article-title":"Reachability analysis of probabilistic systems by successive refinements","volume":"2165","author":"dargenio","year":"2001","journal-title":"LNCS"},{"article-title":"Specification and Verification Methods for Probabilistic Process","year":"1993","author":"christoff","key":"ref5"},{"key":"ref8","article-title":"TIPP – A Stochastic Process Algebra","author":"g\u00f6tz","year":"1993","journal-title":"Proc of the Workshop on Process Algebra and Performance Modelling"},{"key":"ref7","first-page":"443","article-title":"Algebraic reasoning for probabilistic concurrent systems","author":"giacalone","year":"1990","journal-title":"Proc Working Conf Programming Concepts Methods"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(85)90088-X"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00305-4"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624193"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129505005074"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/CISE.2009.5367013"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/CISE.2009.5362871"},{"article-title":"Internal Medicine of Traditional Chinese Medicine","year":"2007","author":"zhongying","key":"ref24"},{"key":"ref23","first-page":"89","article-title":"Process Algebra with Goal Based Bisimulation","author":"guang","year":"2010","journal-title":"ISECS"},{"journal-title":"WHO International Standard Terminologies on Traditional Medicine in the Western Pacific Region","article-title":"WHO","year":"2007","key":"ref25"}],"event":{"name":"2010 IEEE International Conference on Bioinformatics and Biomedicine Workshops (BIBMW)","start":{"date-parts":[[2010,12,18]]},"location":"HongKong, China","end":{"date-parts":[[2010,12,18]]}},"container-title":["2010 IEEE International Conference on Bioinformatics and Biomedicine Workshops (BIBMW)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5695144\/5703537\/05703869.pdf?arnumber=5703869","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T05:08:44Z","timestamp":1490072924000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5703869\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,12]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/bibmw.2010.5703869","relation":{},"subject":[],"published":{"date-parts":[[2010,12]]}}}