{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T18:01:38Z","timestamp":1648836098028},"reference-count":12,"publisher":"International Academy Publishing (IAP)","issue":"5","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["JSW"],"DOI":"10.4304\/jsw.6.5.769-782","type":"journal-article","created":{"date-parts":[[2011,5,4]],"date-time":"2011-05-04T09:16:25Z","timestamp":1304500585000},"source":"Crossref","is-referenced-by-count":1,"title":["Stochastic Process Algebra with Value-Passing and Weak Time Restrictions"],"prefix":"10.17706","volume":"6","author":[{"given":"Guang","family":"Zheng","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jinzhao","family":"Wu","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":[[2011,5,4]]},"reference":[{"key":"ref1","article-title":"Stochastic transition systems. In David Sangiorgi and Robert de Simone, editos, CONCUR \u201998: Concurrency Theory (Proceedings)","volume-title":"Lecture Notes in Computer Science.","volume":"1466","year":"2001"},{"key":"ref2","volume-title":"Proof systems for messagepassing process algebras Formal Aspects of Computing, 379- 407","volume":"8","author":"Hennessy","year":"1996"},{"key":"ref3","volume-title":"Communicating Sequential Processes","author":"Hoare","year":"1985"},{"key":"ref4","first-page":"77","volume-title":"Towards a superset of LOTOS for performance prediction","year":"1996"},{"key":"ref5","first-page":"71","article-title":"Syntax, Semantics, Equivalences, and Axioms for MTIPP","volume-title":"Proc. of PAPM \u201994","author":"Hermanns","year":"1994"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00305-4"},{"key":"ref7","volume-title":"Howard. Dynamic Probabilistic Systems.","volume":"2","author":"Ronald","year":"1971"},{"key":"ref8","first-page":"188","volume-title":"Concepts, Algorithms and Tools for Model Checking. Erlangen: Institut f.","author":"Katoen","year":"1999"},{"key":"ref9","volume-title":"Communication and Concurrency","author":"Milner","year":"1989"},{"key":"ref10","volume-title":"Puterman. Markovian Decision Processes.","author":"Martin","year":"1994"},{"key":"ref11","first-page":"327","article-title":"Vardi. Automatic verification of probabilistic concurrent finite-state systems.","volume-title":"26th Annual Symposium on Foundations of Computer Science (FOCS \u201985)","author":"Moshe","year":"1985"},{"key":"ref12","first-page":"178","volume-title":"Shaorong Li, Jinzhao Wu, and Lian Li. A Non-interleaving Denotational Semantics of Value Passing CCS with Action Refinement. FAW 2007, LNCS 4613","author":"Zheng","year":"2007"}],"container-title":["Journal of Software"],"original-title":[],"deposited":{"date-parts":[[2015,9,15]],"date-time":"2015-09-15T15:20:56Z","timestamp":1442330456000},"score":1,"resource":{"primary":{"URL":"http:\/\/ojs.academypublisher.com\/index.php\/jsw\/article\/view\/4140"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,5,4]]},"references-count":12,"journal-issue":{"issue":"5","published-online":{"date-parts":[[2011,5,4]]}},"URL":"https:\/\/doi.org\/10.4304\/jsw.6.5.769-782","relation":{},"ISSN":["1796-217X"],"issn-type":[{"value":"1796-217X","type":"print"}],"subject":[],"published":{"date-parts":[[2011,5,4]]}}}