{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T23:33:41Z","timestamp":1648683221705},"reference-count":13,"publisher":"International Academy Publishing (IAP)","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["JSW"],"DOI":"10.4304\/jsw.9.3.536-540","type":"journal-article","created":{"date-parts":[[2014,3,28]],"date-time":"2014-03-28T19:04:10Z","timestamp":1396033450000},"source":"Crossref","is-referenced-by-count":0,"title":["Bisimulation-based Consistency Checking on Syndrome Feng-Shi-Re-Bi in Rheumatoid Arthritis"],"prefix":"10.17706","volume":"9","author":[{"given":"Guang","family":"Zheng","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kai","family":"Cui","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Junping","family":"Zhan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zekun","family":"Ning","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Miao","family":"Jiang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cheng","family":"Lu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aiping","family":"Lu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"7163","published-online":{"date-parts":[[2014,3,1]]},"reference":[{"key":"ref1","volume-title":"Zhongying Zhou etc","year":"2007","unstructured":"[1] Zhongying Zhou, etc. Internal Medicine of Traditional Chinese Medicine.China Press of Traditional Chinese Medicine. ISBN 978-7-80156-313-2,2007. (in Chinese)"},{"key":"ref2","volume-title":"Zhongjia Deng etc Formulae of Chinese Medicine","year":"2008","unstructured":"[3] Zhongjia Deng, etc. Formulae of Chinese Medicine. China Press of Traditional Chinese Medicine. ISBN 7-80156-322-0, 2008. (in Chinese)"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.ctim.2011.10.005"},{"key":"ref4","first-page":"1161","article-title":"Clinical Chinese medicine study on rheumatoid arthritis in the evidence-based medicine times","volume":"31","author":"Lu","year":"2011","unstructured":"[6] A. P. Lu, et al., Clinical Chinese medicine study on rheumatoid arthritis in the evidence-based medicine times, Zhongguo Zhong Xi Yi Jie He ZaZhi, vol. 31, pp. 1161-3, Sep 2011.","journal-title":"Zhongguo Zhong Xi Yi Jie He ZaZhi"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/S0254-6272(11)60031-9"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/s11684-011-0133-y"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.ctim.2011.05.002"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s00296-010-1546-7"},{"key":"ref9","volume-title":"WHO International Standard Terminologies on Traditional Medicine in the Western Pacific Region ISBN 978 92 9061 2484","year":"2007","unstructured":"[11] WHO Health organization. WHO International Standard Terminologies on Traditional Medicine in the Western Pacific Region. ISBN 978 92 9061 2484, WHO Library Cataloguing in Publication Data. 2007"},{"issue":"n 5","key":"ref10","first-page":"769","article-title":"Stochastic process algebra with value-passing and weak time restrictions.","volume":"6","author":"Guang","year":"2011","unstructured":"[12] Zheng Guang, Wu Jinzhao, Lu Aiping. Stochastic process algebra with value-passing and weak time restrictions. Journal of Software, v 6, n 5,p 769-782, 2011.","journal-title":"J Softw","ISSN":"http:\/\/id.crossref.org\/issn\/1000-9825","issn-type":"print"},{"issue":"n 1","key":"ref11","first-page":"86","article-title":"Process algebra with chaos executing policy for unhealthy systems","volume":"4","author":"Guang","year":"2009","unstructured":"[14] Zheng Guang, Li Lian; Chen Wenbo, He Anping, Wu Jinzhao. Process algebra with chaos executing policy for unhealthy systems, Journal of Computers, v 4, n 1, p 86-93, 2009.","journal-title":"Journal of Computers"},{"key":"ref12","article-title":"Syntax, Semantics, Equivalences, and Axioms for MTIPP.","volume-title":"Proc of the 2nd Workshop on Process Algebras and Performance Modelling Erlangen-Regensberg","author":"Hermanns","year":"1994","unstructured":"[15] H. Hermanns and M. Rettelbach. Syntax, Semantics, Equivalences, and Axioms for MTIPP. In U. Herzog and M. Rettelbach, editors, Proc. of the 2nd Workshop on Process Algebras and Performance Modelling, Erlangen-Regensberg, July 1994. IMMD, Universit&at Erlangen- N&urnberg."},{"key":"ref13","volume-title":"Communication and Concurrency","author":"Milner","year":"1989","unstructured":"[21] Robin Milner, Communication and Concurrency, Prentice Hall, 1989."}],"container-title":["Journal of Software"],"original-title":[],"deposited":{"date-parts":[[2015,9,15]],"date-time":"2015-09-15T11:27:00Z","timestamp":1442316420000},"score":1,"resource":{"primary":{"URL":"http:\/\/ojs.academypublisher.com\/index.php\/jsw\/article\/view\/10703"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,3,1]]},"references-count":13,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2014,3,1]]}},"URL":"https:\/\/doi.org\/10.4304\/jsw.9.3.536-540","relation":{},"ISSN":["1796-217X"],"issn-type":[{"value":"1796-217X","type":"print"}],"subject":[],"published":{"date-parts":[[2014,3,1]]}}}