{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:45:46Z","timestamp":1762458346532},"reference-count":32,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":3850,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theoretical Computer Science"],"published-print":{"date-parts":[[2003,1]]},"DOI":"10.1016\/s0304-3975(01)00344-9","type":"journal-article","created":{"date-parts":[[2002,10,28]],"date-time":"2002-10-28T17:15:47Z","timestamp":1035825347000},"page":"355-406","source":"Crossref","is-referenced-by-count":30,"title":["Discrete time generative\u2013reactive probabilistic processes with different advancing speeds"],"prefix":"10.1016","volume":"290","author":[{"given":"M.","family":"Bravetti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Aldini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"4","key":"10.1016\/S0304-3975(01)00344-9_BIB1","doi-asserted-by":"crossref","first-page":"852","DOI":"10.1137\/S0097539793243600","article-title":"On axiomatising finite concurrent processes","volume":"23","author":"Aceto","year":"1994","journal-title":"SIAM J. Comput."},{"key":"10.1016\/S0304-3975(01)00344-9_BIB2","doi-asserted-by":"crossref","unstructured":"L. Aceto, D. Murphy, On the ill-timed but well-caused, in: Proc. 4th Int. Conf. on Concurrency Theory, Lecture Notes in Computer Science, Vol. 715, Springer, Berlin, 1993, pp. 97\u2013111.","DOI":"10.1007\/3-540-57208-2_8"},{"key":"10.1016\/S0304-3975(01)00344-9_BIB3","unstructured":"A. Aldini, M. Bernardo, R. Gorrieri, An algebraic model for evaluating the performance of an ATM switch with explicit rate marking, in: Proc. 7th Int. Workshop on Process Algebras and Performance Modeling, Prensas Universitarias de Zaragoza, 1999, pp. 119\u2013138."},{"key":"10.1016\/S0304-3975(01)00344-9_BIB4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/379525.379526","article-title":"Comparing the QoS of internet audio mechanisms via formal methods","volume":"11","author":"Aldini","year":"2001","journal-title":"ACM Trans. Modeling Computer Simulation"},{"key":"10.1016\/S0304-3975(01)00344-9_BIB5","doi-asserted-by":"crossref","first-page":"234","DOI":"10.1006\/inco.1995.1135","article-title":"Axiomatizing probabilistic processes: ACP with generative probabilities","volume":"121","author":"Baeten","year":"1995","journal-title":"Informat. and Comput."},{"key":"10.1016\/S0304-3975(01)00344-9_BIB6","series-title":"Process Algebra","author":"Baeten","year":"1990"},{"key":"10.1016\/S0304-3975(01)00344-9_BIB7","doi-asserted-by":"crossref","unstructured":"C. Baier, H. Hermanns, Weak bisimulation for fully probabilistic processes, in: Proc. 9th Int. Conf. on Computer Aided Verification, Lecture Notes in Computer Science, Vol. 1254, Springer, Berlin, 1997, pp. 119\u2013130.","DOI":"10.1007\/3-540-63166-6_14"},{"key":"10.1016\/S0304-3975(01)00344-9_BIB8","unstructured":"M. Bernardo, Theory and Application of Extended Markovian Process Algebra, Ph.D. Thesis, University of Bologna, Italy, 1999."},{"key":"10.1016\/S0304-3975(01)00344-9_BIB9","unstructured":"M. Bernardo, M. Bravetti, Functional and performance modeling and analysis of token ring using EMPA, in: Proc. 6th Italian Conf. on Theoretical Computer Science, World Scientific, Singapore, 1998, pp. 204\u2013215."},{"key":"10.1016\/S0304-3975(01)00344-9_BIB10","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1007\/s001650050020","article-title":"Formal performance modelling and evaluation of an adaptive mechanism for packetised audio over the internet","volume":"10","author":"Bernardo","year":"1999","journal-title":"Formal Aspects Computing"},{"key":"10.1016\/S0304-3975(01)00344-9_BIB11","unstructured":"M. Bravetti, M. Bernardo, R. Gorrieri, A note on the congruence proof for recursion in Markovian bisimulation equivalence,in: C. Priami (Ed.), Proc. 6th Int. Workshop on Process Algebras and Performance Modeling,1998, pp. 153\u2013164."},{"key":"10.1016\/S0304-3975(01)00344-9_BIB12","doi-asserted-by":"crossref","unstructured":"L. Cardelli, Real time agents, in: Proc. 9th Int. Colloquium on Automata, Languages and Programming, Lecture Notes in Computer Science, Vol. 140, Springer, Berlin, 1982, pp. 94\u2013106.","DOI":"10.1007\/BFb0012760"},{"key":"10.1016\/S0304-3975(01)00344-9_BIB13","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1007\/PL00013313","article-title":"Closed interval process algebra versus interval process algebra","volume":"37","author":"Corradini","year":"2001","journal-title":"Acta Inform."},{"key":"10.1016\/S0304-3975(01)00344-9_BIB14","doi-asserted-by":"crossref","unstructured":"P.R. D'Argenio, H. Hermanns, J.P. Katoen, On generative parallel composition, in: Proc. 1st Int. Workshop on Probabilistic Methods in Verifications Electronic Notes Theoret. Comput. Sci. 22 (2000).","DOI":"10.1016\/S1571-0661(05)80596-1"},{"key":"10.1016\/S0304-3975(01)00344-9_BIB15","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1006\/inco.1995.1123","article-title":"Reactive, generative and stratified models of probabilistic processes","volume":"121","author":"van Glabbeek","year":"1995","journal-title":"Inform. and Comput."},{"issue":"2","key":"10.1016\/S0304-3975(01)00344-9_BIB16","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0304-3975(93)90111-6","article-title":"Transition system specifications with negative premises","volume":"118","author":"Groote","year":"1993","journal-title":"Theoret. Comput. Sci."},{"issue":"2","key":"10.1016\/S0304-3975(01)00344-9_BIB17","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1006\/inco.1995.1041","article-title":"A process algebra for timed systems","volume":"117","author":"Hennessy","year":"1995","journal-title":"Inform. and Comput."},{"key":"10.1016\/S0304-3975(01)00344-9_BIB18","series-title":"A Compositional Approach to Performance Modelling","author":"Hillston","year":"1996"},{"key":"10.1016\/S0304-3975(01)00344-9_BIB19","series-title":"Communicating Sequential Processes","author":"Hoare","year":"1985"},{"key":"10.1016\/S0304-3975(01)00344-9_BIB20","series-title":"Dynamic Probabilistic Systems","author":"Howard","year":"1971"},{"key":"10.1016\/S0304-3975(01)00344-9_BIB21","doi-asserted-by":"crossref","unstructured":"C.C. Jou, S.A. Smolka, Equivalences, congruences, and complete axiomatizations for probabilistic processes, in Proc. 1st Int. Conf. on Concurrency Theory, Lecture Notes in Computer Science, Vol. 458, Springer, Berlin, 1990, pp. 367\u2013383.","DOI":"10.1007\/BFb0039071"},{"key":"10.1016\/S0304-3975(01)00344-9_BIB22","series-title":"Queueing Systems","author":"Kleinrock","year":"1975"},{"key":"10.1016\/S0304-3975(01)00344-9_BIB23","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0890-5401(91)90030-6","article-title":"Bisimulation through probabilistic testing","volume":"94","author":"Larsen","year":"1991","journal-title":"Inform. and Comput."},{"key":"10.1016\/S0304-3975(01)00344-9_BIB24","doi-asserted-by":"crossref","unstructured":"K.G. Larsen, A. Skou, Compositional verification of probabilistic processes, in: Proc. 3rd Int. Conf. on Concurrency Theory, Lecture Notes in Computer Science, Vol. 630, Springer, Berlin, 1992, pp. 456\u2013471.","DOI":"10.1007\/BFb0084809"},{"key":"10.1016\/S0304-3975(01)00344-9_BIB25","doi-asserted-by":"crossref","unstructured":"N.A. Lynch, M.R. Tuttle, Hierarchical correctness proofs for distributed algorithms, in: Proc. 6th ACM Symp. on Principles of Distributed Computing, 1987, pp. 137\u2013151.","DOI":"10.1145\/41840.41852"},{"key":"10.1016\/S0304-3975(01)00344-9_BIB26","doi-asserted-by":"crossref","unstructured":"F. Moller, C. Tofts, A temporal calculus of communicating systems, in Proc. 1st Int. Conf. on Concurrency Theory, Lecture Notes in Computer Science, Vol. 458, Springer, Berlin, 1990, pp. 401\u2013415.","DOI":"10.1007\/BFb0039073"},{"key":"10.1016\/S0304-3975(01)00344-9_BIB27","series-title":"Communication and Concurrency","author":"Milner","year":"1989"},{"key":"10.1016\/S0304-3975(01)00344-9_BIB28","unstructured":"R. Segala, Modeling and verification of randomized distributed real-time systems, Ph.D. Thesis, MIT, Boston, MA, 1995."},{"key":"10.1016\/S0304-3975(01)00344-9_BIB29","series-title":"Computer Networks","author":"Tanenbaum","year":"1996"},{"key":"10.1016\/S0304-3975(01)00344-9_BIB30","series-title":"An Introduction to Stochastic Modeling","author":"Taylor","year":"1998"},{"key":"10.1016\/S0304-3975(01)00344-9_BIB31","doi-asserted-by":"crossref","first-page":"536","DOI":"10.1007\/BF01211867","article-title":"Processes with probabilities, priority and time","volume":"6","author":"Tofts","year":"1994","journal-title":"Formal Aspects Comput."},{"key":"10.1016\/S0304-3975(01)00344-9_BIB32","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0304-3975(97)00056-X","article-title":"Composition and behaviors of probabilistic I\/O automata","volume":"176","author":"Wu","year":"1997","journal-title":"Theoret. Comput. Sci."}],"container-title":["Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397501003449?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397501003449?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,3,11]],"date-time":"2020-03-11T00:51:40Z","timestamp":1583887900000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0304397501003449"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,1]]},"references-count":32,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2003,1]]}},"alternative-id":["S0304397501003449"],"URL":"https:\/\/doi.org\/10.1016\/s0304-3975(01)00344-9","relation":{},"ISSN":["0304-3975"],"issn-type":[{"value":"0304-3975","type":"print"}],"subject":[],"published":{"date-parts":[[2003,1]]}}}