{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T14:23:49Z","timestamp":1777645429706,"version":"3.51.4"},"reference-count":0,"publisher":"SAGE Publications","issue":"1","license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/journals.sagepub.com\/page\/policies\/text-and-data-mining-license"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Fundamenta Informaticae"],"published-print":{"date-parts":[[2009,8]]},"abstract":"<jats:p>We present a process-algebraic framework for performance evaluation\n\t\t\t of discrete-time discrete-event systems. The modeling of the system builds on a\n\t\t\t process algebra with conditionallydistributed discrete-time delays and\n\t\t\t generally-distributed stochastic delays. In the general case, the performance\n\t\t\t analysis is done with the toolset of the modeling language \u03c7 by\n\t\t\t means of discrete-event simulation. The process-algebraic setting allows for\n\t\t\t expansion laws for the parallel composition and the maximal progress operator,\n\t\t\t so one can directly manipulate the process terms and transform the\n\t\t\t specification in a required form. This approach is illustrated by specifying\n\t\t\t and solving the recursive specification of the G\/G\/1\/\u221e queue, as\n\t\t\t well as by specifying a variant of the concurrent alternating bit protocol with\n\t\t\t generally-distributed unreliable channels. In a specific situation when all\n\t\t\t delays are assumed deterministic, we turn to performance analysis of\n\t\t\t probabilistic timed systems. This work employs discrete-time probabilistic\n\t\t\t reward graphs, which comprise deterministic delays and immediate probabilistic\n\t\t\t choices. Here, we extend previous investigations on the topic, which only\n\t\t\t touched long-run analysis, to tackle transient analysis as well. The\n\t\t\t theoretical results obtained allow us to extend the \u03c7-toolset. For\n\t\t\t illustrative purposes, we analyze the concurrent alternating bit protocol in\n\t\t\t the extended environment of the \u03c7-toolset using discrete-event\n\t\t\t simulation for generallydistributed channels, the developed analytical method\n\t\t\t for deterministic channels, and Markovian analysis for \n\t\t\t exponentially-distributed delays.<\/jats:p>","DOI":"10.3233\/fi-2009-146","type":"journal-article","created":{"date-parts":[[2019,12,2]],"date-time":"2019-12-02T22:53:57Z","timestamp":1575327237000},"page":"157-186","source":"Crossref","is-referenced-by-count":5,"title":["Performance Evaluation of Distributed Systems Based on a Discrete\t\t\t Real- and Stochastic-Time Process Algebra"],"prefix":"10.1177","volume":"95","author":[{"given":"Jasen","family":"Markovski","sequence":"first","affiliation":[{"name":"Formal Methods Group, Department of Mathematics and\r\t\t\t Computer Science, Eindhoven University of Technology, Den Dolech 2, 5612 AZ\r\t\t\t Eindhoven, The Netherlands. E-mail: j.markovski@tue.nl,evink@win.tue.nl"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Erik P.","family":"de Vink","sequence":"additional","affiliation":[{"name":"Formal Methods Group, Department of Mathematics and\r\t\t\t Computer Science, Eindhoven University of Technology, Den Dolech 2, 5612 AZ\r\t\t\t Eindhoven, The Netherlands. E-mail: j.markovski@tue.nl,evink@win.tue.nl"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"179","published-online":{"date-parts":[[2009,1]]},"container-title":["Fundamenta Informaticae"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/FI-2009-146","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/FI-2009-146","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T06:32:12Z","timestamp":1777444332000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.3233\/FI-2009-146"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,1]]},"references-count":0,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2009,8]]}},"alternative-id":["10.3233\/FI-2009-146"],"URL":"https:\/\/doi.org\/10.3233\/fi-2009-146","relation":{},"ISSN":["0169-2968","1875-8681"],"issn-type":[{"value":"0169-2968","type":"print"},{"value":"1875-8681","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,1]]}}}