{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T12:27:15Z","timestamp":1648729635458},"reference-count":15,"publisher":"International Academy Publishing (IAP)","issue":"9","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["JSW"],"DOI":"10.4304\/jsw.6.9.1688-1695","type":"journal-article","created":{"date-parts":[[2011,8,12]],"date-time":"2011-08-12T07:16:35Z","timestamp":1313133395000},"source":"Crossref","is-referenced-by-count":0,"title":["Process Algebra with Timed-Priority Executing Policy"],"prefix":"10.17706","volume":"6","author":[{"given":"Zhongxian","family":"Li","sequence":"first","affiliation":[]},{"given":"Miao","family":"Jiang","sequence":"additional","affiliation":[]},{"given":"Gao","family":"Chen","sequence":"additional","affiliation":[]},{"given":"Qinglin","family":"Zha","sequence":"additional","affiliation":[]},{"given":"Guang","family":"Zheng","sequence":"additional","affiliation":[]}],"member":"7163","published-online":{"date-parts":[[2011,8,1]]},"reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/11787006_41"},{"key":"ref2","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511624193","volume-title":"Process Algebra","author":"Beaten","year":"1990"},{"key":"ref3","article-title":"Compositional asymmetric cooperations for process algebras with probabilities, priorities, and time.","volume-title":"Proc. of the 1st International Workshop on Models for Time Critical Systems","volume":"39","author":"Bravetti","year":"2001"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/GRID.2004.18"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2007.05.001"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2007.08.016"},{"key":"ref7","first-page":"443","article-title":"Algebraic reasoning for probabilistic concurrent systems.","volume-title":"Proc. of the Working Conf. on Programming Concepts and Methods","author":"Giacalone","year":"1990"},{"key":"ref8","first-page":"57","article-title":"Frits Vaandrager.","volume":"2761","year":"2003","journal-title":"Bundle Event Structures and CCSP Lecture Notes in Computer Science"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00305-4"},{"key":"ref10","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"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569951"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(91)90030-6"},{"key":"ref13","volume-title":"Communication and Concurrency","author":"Milner","year":"1989"},{"key":"ref14","first-page":"465","article-title":"Probabilistic Resource Failure in Real-Time Process Algebra, Lecture Notes in Computer Science","volume":"1466","author":"Philippou","year":"1998","journal-title":"Springer Berlin"},{"issue":"4","key":"ref15","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"}],"container-title":["Journal of Software"],"original-title":[],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T00:37:10Z","timestamp":1497919030000},"score":1,"resource":{"primary":{"URL":"http:\/\/ojs.academypublisher.com\/index.php\/jsw\/article\/view\/5452"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,8,1]]},"references-count":15,"journal-issue":{"issue":"9","published-online":{"date-parts":[[2011,8,1]]}},"URL":"https:\/\/doi.org\/10.4304\/jsw.6.9.1688-1695","relation":{},"ISSN":["1796-217X"],"issn-type":[{"value":"1796-217X","type":"print"}],"subject":[],"published":{"date-parts":[[2011,8,1]]}}}