{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T06:05:17Z","timestamp":1725861917978},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319439037"},{"type":"electronic","value":"9783319439044"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-43904-4_4","type":"book-chapter","created":{"date-parts":[[2016,8,3]],"date-time":"2016-08-03T06:00:55Z","timestamp":1470204055000},"page":"45-59","source":"Crossref","is-referenced-by-count":1,"title":["Applying Reversibility Theory for the Performance Evaluation of Reversible Computations"],"prefix":"10.1007","author":[{"given":"Simonetta","family":"Balsamo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Filippo","family":"Cavallin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Marin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sabina","family":"Rossi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,8,4]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","first-page":"2563","DOI":"10.1016\/j.cam.2009.11.003","volume":"233","author":"JR Artalejo","year":"2010","unstructured":"Artalejo, J.R., Economou, A., Lopez-Herrero, M.J.: The maximum number of infected individuals in SIS epidemic models: computational techniques and quasi-stationary distributions. J. Comput. Appl. Math. 233, 2563\u20132574 (2010)","journal-title":"J. Comput. Appl. Math."},{"key":"4_CR2","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/j.entcs.2013.07.005","volume":"296","author":"E Barbierato","year":"2013","unstructured":"Barbierato, E., Dei Rossi, G.-L., Gribaudo, M., Iacono, M., Marin, A.: Exploiting product forms solution techniques in multiformalism modeling. Electr. Notes Theor. Comput. Sci. 296, 61\u201377 (2013)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"4_CR3","doi-asserted-by":"crossref","first-page":"296","DOI":"10.2307\/1425906","volume":"8","author":"AD Barbour","year":"1976","unstructured":"Barbour, A.D.: Quasi-stationary distributions in markov population processes. Adv. Appl. Prob. 8, 296\u2013314 (1976)","journal-title":"Adv. Appl. Prob."},{"issue":"2","key":"4_CR4","doi-asserted-by":"crossref","first-page":"248","DOI":"10.1145\/321879.321887","volume":"22","author":"F Baskett","year":"1975","unstructured":"Baskett, F., Chandy, K.M., Muntz, R.R., Palacios, F.G.: Open, closed, and mixed networks of queues with different classes of customers. J. ACM 22(2), 248\u2013260 (1975)","journal-title":"J. ACM"},{"key":"4_CR5","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/j.peva.2013.11.003","volume":"73","author":"M Bugliesi","year":"2014","unstructured":"Bugliesi, M., Gallina, L., Hamadou, S., Marin, A., Rossi, S.: Behavioural equivalences and interference metrics for mobile ad-hoc networks. Perform. Eval. 73, 41\u201372 (2014)","journal-title":"Perform. Eval."},{"issue":"4","key":"4_CR6","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1145\/2185395.2185438","volume":"39","author":"G Casale","year":"2012","unstructured":"Casale, G., Smirni, E.: KPC-toolbox: fitting markovian arrival processes and phase-type distributions with MATLAB. SIGMETRICS Perform. Eval. Rev. 39(4), 47 (2012)","journal-title":"SIGMETRICS Perform. Eval. Rev."},{"key":"4_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"292","DOI":"10.1007\/978-3-540-28644-8_19","volume-title":"CONCUR 2004 - Concurrency Theory","author":"V Danos","year":"2004","unstructured":"Danos, V., Krivine, J.: Reversible communicating systems. In: Gardner, P., Yoshida, N. (eds.) CONCUR 2004. LNCS, vol. 3170, pp. 292\u2013307. Springer, Heidelberg (2004)"},{"key":"4_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"316","DOI":"10.1007\/978-3-642-21713-5_23","volume-title":"Analytical and Stochastic Modeling Techniques and Applications","author":"L Gallina","year":"2011","unstructured":"Gallina, L., Hamadou, S., Marin, A., Rossi, S.: A probabilistic energy-aware model for mobile ad-hoc networks. In: Al-Begain, K., Balsamo, S., Fiems, D., Marin, A. (eds.) ASMTA 2011. LNCS, vol. 6751, pp. 316\u2013330. Springer, Heidelberg (2011)"},{"issue":"2","key":"4_CR9","doi-asserted-by":"crossref","first-page":"254","DOI":"10.1287\/opre.15.2.254","volume":"15","author":"WJ Gordon","year":"1967","unstructured":"Gordon, W.J., Newell, G.F.: Cyclic queueing networks with exponential servers. Oper. Res. 15(2), 254\u2013265 (1967)","journal-title":"Oper. Res."},{"issue":"3","key":"4_CR10","doi-asserted-by":"crossref","first-page":"1947","DOI":"10.1016\/S0304-3975(02)00375-4","volume":"290","author":"PG Harrison","year":"2003","unstructured":"Harrison, P.G.: Turning back time in Markovian process algebra. Theoret. Comput. Sci. 290(3), 1947\u20131986 (2003)","journal-title":"Theoret. Comput. Sci."},{"key":"4_CR11","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1016\/j.laa.2004.02.020","volume":"386","author":"PG Harrison","year":"2004","unstructured":"Harrison, P.G.: Reversed processes, product forms and a non-product form. Elsevier Linear Algebra Appl. 386, 359\u2013381 (2004)","journal-title":"Elsevier Linear Algebra Appl."},{"key":"4_CR12","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511569951","volume-title":"A Compositional Approach to Performance Modelling","author":"J Hillston","year":"1996","unstructured":"Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge Press, Cambridge (1996)"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Hillston, J., Marin, A., Piazza, C., Rossi, S.: Contextual iumpability. In: Proceedings of Valuetools 2013 Conference. ACM Press (2013)","DOI":"10.4108\/icst.valuetools.2013.254408"},{"key":"4_CR14","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1287\/mnsc.10.1.131","volume":"10","author":"JR Jackson","year":"1963","unstructured":"Jackson, J.R.: Jobshop-like queueing systems. Manag. Sci. 10, 131\u2013142 (1963)","journal-title":"Manag. Sci."},{"key":"4_CR15","volume-title":"Introduction to Computer System Performance Evaluation","author":"K Kant","year":"1992","unstructured":"Kant, K.: Introduction to Computer System Performance Evaluation. McGraw-Hill, New York (1992)"},{"key":"4_CR16","volume-title":"Reversibility and Stochastic Networks","author":"F Kelly","year":"1979","unstructured":"Kelly, F.: Reversibility and Stochastic Networks. Wiley, New York (1979)"},{"key":"4_CR17","first-page":"17","volume":"114","author":"I Lanese","year":"2014","unstructured":"Lanese, I., Mezzina, C.A., Tiezzi, F.: Causal-consistent reversibility. Bull. EATCS 114, 17 (2014)","journal-title":"Bull. EATCS"},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"Marin, A., Rossi, S.: On discrete time reversibility modulo state renaming and its applications. In: Proceedings of Valuetools 2014 Conference (2014)","DOI":"10.4108\/icst.valuetools.2014.258200"},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"Marin, A., Rossi, S.: On the relations between lumpability and reversibility. In: Proceedings of MASCOTS 2014, pp. 427\u2013432 (2014)","DOI":"10.1109\/MASCOTS.2014.59"},{"key":"4_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1007\/978-3-319-22975-1_14","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"A Marin","year":"2015","unstructured":"Marin, A., Rossi, S.: Quantitative analysis of concurrent reversible computations. In: Sankaranarayanan, S., Vicario, E. (eds.) FORMATS 2015. LNCS, vol. 9268, pp. 206\u2013221. Springer, Heidelberg (2015)"},{"issue":"3","key":"4_CR21","first-page":"453","volume":"24","author":"A M\u00e9sz\u00e1ros","year":"2014","unstructured":"M\u00e9sz\u00e1ros, A., Papp, J., Telek, M.: Fitting traffic traces with discrete canonical phase type distributions and Markov arrival processes. Appl. Math. Comput. Sci. 24(3), 453\u2013470 (2014)","journal-title":"Appl. Math. Comput. Sci."},{"key":"4_CR22","doi-asserted-by":"crossref","DOI":"10.1201\/b15719","volume-title":"Introduction to Reversible Computing","author":"KS Perumalla","year":"2013","unstructured":"Perumalla, K.S.: Introduction to Reversible Computing. CRC Press, Boca Raton (2013)"},{"issue":"2","key":"4_CR23","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1145\/317786.317819","volume":"13","author":"B Plateau","year":"1985","unstructured":"Plateau, B.: On the stochastic structure of parallelism and synchronization models for distributed algorithms. SIGMETRICS Perf. Eval. Rev. 13(2), 147\u2013154 (1985)","journal-title":"SIGMETRICS Perf. Eval. Rev."},{"key":"4_CR24","volume-title":"Stochastic Processes","author":"SM Ross","year":"1996","unstructured":"Ross, S.M.: Stochastic Processes, 2nd edn. Wiley, Hoboken (1996)","edition":"2"},{"key":"4_CR25","volume-title":"Introduction to the Numerical Solution of Markov Chains","author":"WJ Stewart","year":"1994","unstructured":"Stewart, W.J.: Introduction to the Numerical Solution of Markov Chains. Princeton University Press, Princeton (1994)"},{"key":"4_CR26","volume-title":"Systems in Stochastic Equilibrium","author":"P Whittle","year":"1986","unstructured":"Whittle, P.: Systems in Stochastic Equilibrium. Wiley, Hoboken (1986)"},{"key":"4_CR27","doi-asserted-by":"crossref","unstructured":"Yokoyama, T., Gl\u00fcck, R.: A reversible programming language and its invertible self-interpreter. In: Proceedings of the 2007 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, pp. 144\u2013153, New York, NY, USA. ACM (2007)","DOI":"10.1145\/1244381.1244404"}],"container-title":["Lecture Notes in Computer Science","Analytical and Stochastic Modelling Techniques and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-43904-4_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,12]],"date-time":"2019-09-12T03:07:09Z","timestamp":1568257629000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-43904-4_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319439037","9783319439044"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-43904-4_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}