{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T13:44:21Z","timestamp":1766065461729},"reference-count":13,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[1999,9,1]],"date-time":"1999-09-01T00:00:00Z","timestamp":936144000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Form. Asp. Comput."],"published-print":{"date-parts":[[1999,9]]},"abstract":"<jats:title>Abstract.<\/jats:title>\n          <jats:p>This paper deals with dependability of imperfect implementations concerning given requirements. The requirements are assumed to be written as formulas in Duration Calculus. Implementations are modelled by continuous semi-Markov processes with finite state space, which are expressed in the paper as finite automata with stochastic delays of state transitions. A probabilistic model for Duration Calculus formulas is introduced, so that the satisfaction probabilities of Duration Calculus formulas with respect to semi-Markov processes can be defined, reasoned about and calculated through a set of axioms and rules of the model.<\/jats:p>","DOI":"10.1007\/s001650050034","type":"journal-article","created":{"date-parts":[[2002,8,25]],"date-time":"2002-08-25T07:30:30Z","timestamp":1030260630000},"page":"21-44","source":"Crossref","is-referenced-by-count":16,"title":["Probabilistic Duration Calculus for Continuous Time"],"prefix":"10.1145","volume":"11","author":[{"given":"Dang","family":"Van Hung","sequence":"first","affiliation":[{"name":"The United Nations University, International Institute for Software Technology, Macau, MO"}]},{"given":"Zhou","family":"Chaochen","sequence":"additional","affiliation":[{"name":"The United Nations University, International Institute for Software Technology, Macau, MO"}]}],"member":"320","reference":[{"key":"p_1","first-page":"164","volume-title":"Proceedings of the Thirtieth Symposium on the Foundations of Computer Science","author":"Al","year":"1989"},{"key":"p_2","volume-title":"The Theory of Stochastic Processes","author":"Co","year":"1965"},{"key":"p_3","first-page":"209","volume-title":"J","author":"Ha","year":"1991"},{"key":"p_4","first-page":"226","volume-title":"J","author":"Henzinger T. A.","year":"1992"},{"key":"p_5","volume-title":": Communicating Sequential Processes","author":"Hoa","year":"1985"},{"key":"p_6","volume-title":": Evaluation techniques, ch. 4 in Design and Analysis of Fault Tolerant Digital Systems","author":"Joh","year":"1989"},{"key":"p_7","volume-title":"Journal of Real-Time Systems","author":"Koy"},{"key":"p_8","volume-title":"Journal of High Integrity Systems","author":"Liu Z."},{"key":"p_9","volume-title":"2nd Intl. Workshop on Responsive Computer Systems","author":"Liu Z.","year":"1992"},{"key":"p_10","first-page":"640","volume-title":"Timed CSP: Theory and Practice, in J","author":"Sch","year":"1991"},{"issue":"6","key":"p_11","doi-asserted-by":"crossref","first-page":"554","DOI":"10.1109\/32.232021","article-title":"From CSP models to Markov models","volume":"19","author":"S\u00f8rensen E. V.","year":"1993","journal-title":"IEEE Trans. on Soft. Eng."},{"key":"p_12","first-page":"5","article-title":"Continuity of generalized semi-Markov processes","author":"Whi","year":"1980","journal-title":"Math. Oper. Res."},{"key":"p_13","first-page":"269","volume-title":"Information Processing Letter, 40(5)","author":"Zhou C. C.","year":"1992"}],"container-title":["Formal Aspects of Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s001650050034.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s001650050034\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1007\/s001650050034","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,6]],"date-time":"2022-01-06T15:26:47Z","timestamp":1641482807000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1007\/s001650050034"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,9]]},"references-count":13,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1999,9]]}},"alternative-id":["10.1007\/s001650050034"],"URL":"https:\/\/doi.org\/10.1007\/s001650050034","relation":{},"ISSN":["0934-5043","1433-299X"],"issn-type":[{"value":"0934-5043","type":"print"},{"value":"1433-299X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1999,9]]}}}