{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,2]],"date-time":"2026-01-02T00:11:14Z","timestamp":1767312674427,"version":"3.48.0"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032068170","type":"print"},{"value":"9783032068187","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-06818-7_4","type":"book-chapter","created":{"date-parts":[[2026,1,2]],"date-time":"2026-01-02T00:08:45Z","timestamp":1767312525000},"page":"69-89","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Generalized Proportional Lumpability"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2072-1628","authenticated-orcid":false,"given":"Carla","family":"Piazza","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1189-4439","authenticated-orcid":false,"given":"Sabina","family":"Rossi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2026,1,2]]},"reference":[{"key":"4_CR1","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/j.ic.2018.04.002","volume":"260","author":"G Alzetta","year":"2018","unstructured":"Alzetta, G., Marin, A., Piazza, C., Rossi, S.: Lumping-based equivalences in Markovian automata: algorithms and applications to product-form analyses. Inf. Comput. 260, 99\u2013125 (2018)","journal-title":"Inf. Comput."},{"issue":"1","key":"4_CR2","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/j.peva.2010.09.002","volume":"68","author":"S Baarir","year":"2011","unstructured":"Baarir, S., Beccuti, M., Dutheillet, C., Franceschinis, G., Haddad, S.: Lumping partially symmetrical stochastic models. Perform. Eval. 68(1), 21\u201344 (2011)","journal-title":"Perform. Eval."},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Bhattacharya, R.N., Waymire, E.C.: Stochastic processes with applications. In: SIAM (2009)","DOI":"10.1137\/1.9780898718997"},{"key":"4_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/3-540-36384-X_19","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"A Bossi","year":"2003","unstructured":"Bossi, A., Focardi, R., Piazza, C., Rossi, S.: Bisimulation and unwinding for verifying possibilistic security properties. In: Zuck, L.D., Attie, P.C., Cortesi, A., Mukhopadhyay, S. (eds.) VMCAI 2003. LNCS, vol. 2575, pp. 223\u2013237. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/3-540-36384-X_19"},{"key":"4_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/3-540-45013-0_16","volume-title":"Logic Based Program Synthesis and Transformation","author":"A Bossi","year":"2003","unstructured":"Bossi, A., Focardi, R., Piazza, C., Rossi, S.: A proof system for information flow security. In: Leuschel, M. (ed.) LOPSTR 2002. LNCS, vol. 2664, pp. 199\u2013218. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/3-540-45013-0_16"},{"key":"4_CR6","doi-asserted-by":"publisher","first-page":"59","DOI":"10.2307\/3215235","volume":"31","author":"P Buchholz","year":"1994","unstructured":"Buchholz, P.: Exact and ordinary lumpability in finite Markov chains. J. Appl. Probab. 31, 59\u201375 (1994)","journal-title":"J. Appl. Probab."},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Bugliesi, M., Gallina, L., Marin, A., Rossi, S., Hamadou, S.: Interference-sensitive preorders for manets. In: Ninth International Conference on Quantitative Evaluation of Systems, QEST 2012, pp. 189\u2013198. IEEE Computer Society (2012)","DOI":"10.1109\/QEST.2012.15"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Daly, D., Buchholz, P., Sanders, W.H.: Bound-preserving composition for Markov reward models. In: Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), pp. 243\u2013252 (2006)","DOI":"10.1109\/QEST.2006.8"},{"issue":"1\u20133","key":"4_CR9","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1016\/0166-5316(94)90015-9","volume":"20","author":"G Franceschinis","year":"1994","unstructured":"Franceschinis, G., Muntz, R.: Bounds for Quasi-Lumpable Markov chains. Perform. Eval. 20(1\u20133), 223\u2013243 (1994)","journal-title":"Perform. Eval."},{"issue":"7","key":"4_CR10","doi-asserted-by":"publisher","first-page":"516","DOI":"10.1109\/32.297940","volume":"20","author":"G Franceschinis","year":"1994","unstructured":"Franceschinis, G., Muntz, R.: Computing bounds for the performance indices of Quasi-Lumpable stochastic well-formed nets. IEEE Trans. Software Eng. 20(7), 516\u2013525 (1994)","journal-title":"IEEE Trans. Software Eng."},{"key":"4_CR11","first-page":"901","volume":"30","author":"H Hermanns","year":"1998","unstructured":"Hermanns, H., Herzog, U., Mertsiotakis, V.: Stochastic process algebras: between LOTOS and Markov chains. Comput. Netw. 30, 901\u2013924 (1998)","journal-title":"Comput. Netw."},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge Press (1996)","DOI":"10.1017\/CBO9780511569951"},{"key":"4_CR13","unstructured":"Kemeny, J.G., Snell, J.L.: Finite Markov Chains. Springer (1976)"},{"key":"4_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/978-3-030-29662-9_16","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"A Marin","year":"2019","unstructured":"Marin, A., Piazza, C., Rossi, S.: Proportional lumpability. In: Andr\u00e9, \u00c9., Stoelinga, M. (eds.) FORMATS 2019. LNCS, vol. 11750, pp. 265\u2013281. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-29662-9_16"},{"key":"4_CR15","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-021-00404-y","author":"A Marin","year":"2021","unstructured":"Marin, A., Piazza, C., Rossi, S.: Proportional lumpability and proportional bisimilarity. Acta Informatica (2021). https:\/\/doi.org\/10.1007\/s00236-021-00404-y","journal-title":"Acta Informatica"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"Marin, A., Rossi, S.: On the relations between lumpability and reversibility. In: IEEE 22nd International Symposium on Modelling, Analysis & Simulation of Computer and Telecommunication Systems, MASCOTS 2014, pp. 427\u2013432. IEEE Computer Society (2015)","DOI":"10.1109\/MASCOTS.2014.59"},{"issue":"9","key":"4_CR17","doi-asserted-by":"publisher","first-page":"913","DOI":"10.1109\/TC.1982.1676110","volume":"31","author":"MK Molloy","year":"1982","unstructured":"Molloy, M.K.: Performance analysis using stochastic petri nets. IEEE Trans. Comput. 31(9), 913\u2013917 (1982)","journal-title":"IEEE Trans. Comput."},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"Piazza, C., Pivato, E., Rossi, S.: Cops - checker of persistent security. In: Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004), pp. 144\u2013152 (2004)","DOI":"10.1007\/978-3-540-24730-2_11"},{"key":"4_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"372","DOI":"10.1007\/978-3-030-85172-9_20","volume-title":"Quantitative Evaluation of Systems","author":"C Piazza","year":"2021","unstructured":"Piazza, C., Rossi, S.: Reasoning about proportional lumpability. In: Abate, A., Marin, A. (eds.) QEST 2021. LNCS, vol. 12846, pp. 372\u2013390. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-85172-9_20"},{"issue":"4","key":"4_CR20","doi-asserted-by":"publisher","first-page":"159","DOI":"10.3390\/a17040159","volume":"17","author":"C Piazza","year":"2024","unstructured":"Piazza, C., Rossi, S., Smuseva, D.: Efficient algorithm for proportional lumpability and its application to selfish mining in public blockchains. Algorithms 17(4), 159 (2024)","journal-title":"Algorithms"},{"issue":"2","key":"4_CR21","doi-asserted-by":"publisher","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_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/978-3-642-27269-1_7","volume-title":"Formal Aspects of Component Software","author":"S Rossi","year":"2012","unstructured":"Rossi, S.: Model checking adaptive multilevel service compositions. In: Barbosa, L.S., Lumpe, M. (eds.) FACS 2010. LNCS, vol. 6921, pp. 106\u2013124. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-27269-1_7"},{"key":"4_CR23","unstructured":"Sakmann, B.: Single-Channel Recording. Springer (2013)"},{"key":"4_CR24","doi-asserted-by":"crossref","unstructured":"Smith, M.J.A.: Compositional abstractions for long-run properties of stochastic systems. In: Eighth International Conference on Quantitative Evaluation of Systems, QEST, vol. 2011, pp. 223\u2013232 (2011)","DOI":"10.1109\/QEST.2011.37"},{"key":"4_CR25","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1080\/15326348908807099","volume":"5","author":"U Sumita","year":"1989","unstructured":"Sumita, U., Rieders, M.: Lumpability and time-reversibility in the aggregation-disaggregation method for large Markov chains. Commun. Stat. Stoch. Models 5, 63\u201381 (1989)","journal-title":"Commun. Stat. Stoch. Models"},{"issue":"2","key":"4_CR26","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1145\/322186.322196","volume":"27","author":"DF Towsley","year":"1980","unstructured":"Towsley, D.F.: Queuing network models with state-dependent routing. J. ACM 27(2), 323\u2013337 (1980)","journal-title":"J. ACM"}],"container-title":["Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering","Performance Evaluation Methodologies and Tools"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-06818-7_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,2]],"date-time":"2026-01-02T00:08:46Z","timestamp":1767312526000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-06818-7_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032068170","9783032068187"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-06818-7_4","relation":{},"ISSN":["1867-8211","1867-822X"],"issn-type":[{"value":"1867-8211","type":"print"},{"value":"1867-822X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"2 January 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"Valuetools","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"EAI International Conference on Performance Evaluation Methodologies and Tools","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Milan","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 December 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 December 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17th","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"valuetools2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}