{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,17]],"date-time":"2026-10-17T19:17:04Z","timestamp":1792264624040,"version":"4.4.0"},"publisher-location":"Cham","reference-count":78,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319340951","type":"print"},{"value":"9783319340968","type":"electronic"}],"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-34096-8_7","type":"book-chapter","created":{"date-parts":[[2016,6,10]],"date-time":"2016-06-10T09:01:24Z","timestamp":1465549284000},"page":"202-232","source":"Crossref","is-referenced-by-count":12,"title":["Quantitative Abstractions for Collective Adaptive Systems"],"prefix":"10.1007","author":[{"given":"Andrea","family":"Vandin","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mirco","family":"Tribastone","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2016,6,11]]},"reference":[{"issue":"2","key":"7_CR1","doi-asserted-by":"crossref","first-page":"191","DOI":"10.3233\/JCS-2004-12202","volume":"12","author":"A Aldini","year":"2004","unstructured":"Aldini, A., Bravetti, M., Gorrieri, R.: A process-algebraic approach for the analysis of probabilistic noninterference. J. Comput. Secur. 12(2), 191\u2013245 (2004)","journal-title":"J. Comput. Secur."},{"issue":"3","key":"7_CR2","doi-asserted-by":"crossref","first-page":"246","DOI":"10.1109\/TAC.1968.1098900","volume":"13","author":"M Aoki","year":"1968","unstructured":"Aoki, M.: Control of large-scale dynamic systems by aggregation. IEEE Trans. Autom. Control 13(3), 246\u2013253 (1968)","journal-title":"IEEE Trans. Autom. Control"},{"issue":"1","key":"7_CR3","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1006\/jcss.1999.1683","volume":"60","author":"C Baier","year":"2000","unstructured":"Baier, C., Engelen, B., Majster-Cederbaum, M.E.: Deciding bisimilarity and similarity for probabilistic processes. J. Comput. Syst. Sci. 60(1), 187\u2013231 (2000)","journal-title":"J. Comput. Syst. Sci."},{"key":"7_CR4","unstructured":"Barrett, C., Sebastiani, R., Seshia, S.A., Tinelli, C.: Satisfiability Modulo Theories. In: Handbook of Satisfiability. Frontiers in Artificial Intelligence and Applications, vol. 185, IOS Press, Amsterdam (2009)"},{"key":"7_CR5","unstructured":"Barrett, C., Stump, A., Tinelli, C.: The SMT-LIB standard: version 2.0. Technical report, Department of Computer Science, The University of Iowa (2010). www.SMT-LIB.org"},{"issue":"9","key":"7_CR6","doi-asserted-by":"crossref","first-page":"e1003217","DOI":"10.1371\/journal.pcbi.1003217","volume":"9","author":"D Barua","year":"2013","unstructured":"Barua, D., Hlavacek, W.S.: Modeling the effect of APC truncation on destruction complex function in colorectal cancer cells. PLoS Comput. Biol. 9(9), e1003217 (2013)","journal-title":"PLoS Comput. Biol."},{"key":"7_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"168","DOI":"10.1007\/978-3-319-08587-6_12","volume-title":"Automated Reasoning","author":"J Berdine","year":"2014","unstructured":"Berdine, J., Bj\u00f8rner, N.: Computing all implied equalities via SMT-based partition refinement. In: Demri, S., Kapur, D., Weidenbach, C. (eds.) IJCAR 2014. LNCS, vol. 8562, pp. 168\u2013183. Springer, Heidelberg (2014)"},{"issue":"17","key":"7_CR8","doi-asserted-by":"crossref","first-page":"3289","DOI":"10.1093\/bioinformatics\/bth378","volume":"20","author":"ML Blinov","year":"2004","unstructured":"Blinov, M.L., Faeder, J.R., Goldstein, B., Hlavacek, W.S.: BioNetGen: software for rule-based modeling of signal transduction based on the interactions of molecular domains. Bioinformatics 20(17), 3289\u20133291 (2004)","journal-title":"Bioinformatics"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Bortolussi, L., De Nicola, R., Galpin, V., Gilmore, S., Hillston, J., Latella, D., Loreti, M., Massink, M.: CARMA: collective adaptive resource-sharing Markovian agents. In: QAPL, pp. 16\u201331 (2015)","DOI":"10.4204\/EPTCS.194.2"},{"key":"7_CR10","unstructured":"Bortolussi, L., Gast, N.: Scalable quantitative analysis: fluid and hybrid approximations. In: SFM (2016)"},{"key":"7_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-3-642-38493-6_1","volume-title":"Coordination Models and Languages","author":"L Bortolussi","year":"2013","unstructured":"Bortolussi, L., Latella, D., Massink, M.: Stochastic process algebra and stability analysis of collective systems. In: De Nicola, R., Julien, C. (eds.) COORDINATION 2013. LNCS, vol. 7890, pp. 1\u201315. Springer, Heidelberg (2013)"},{"key":"7_CR12","unstructured":"Bortolussi, L., Le Boudec, J.Y., Latella, D., Massink, M.: Revisiting the limit behaviour of \u201cEl Botellon\u201d. Technical report (2012). http:\/\/infoscience.epfl.ch\/record\/179935\/"},{"issue":"1\u20133","key":"7_CR13","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1016\/j.tcs.2006.05.021","volume":"360","author":"F Breugel van","year":"2006","unstructured":"van Breugel, F., Worrell, J.: Approximating and computing behavioural distances in probabilistic transition systems. Theor. Comput. Sci. 360(1\u20133), 373\u2013385 (2006)","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"7_CR14","doi-asserted-by":"crossref","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(1), 59\u201375 (1994)","journal-title":"J. Appl. Probab."},{"key":"7_CR15","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1016\/j.entcs.2011.09.014","volume":"276","author":"F Camporesi","year":"2011","unstructured":"Camporesi, F., Feret, J.: Formal reduction for rule-based models. Electron. Notes Theoret. Comp. Sci. 276, 29\u201359 (2011)","journal-title":"Electron. Notes Theoret. Comp. Sci."},{"key":"7_CR16","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/j.entcs.2010.08.006","volume":"265","author":"F Camporesi","year":"2010","unstructured":"Camporesi, F., Feret, J., Koeppl, H., Petrov, T.: Combining model reductions. Electron. Notes Theoret. Comp. Sci. 265, 73\u201396 (2010)","journal-title":"Electron. Notes Theoret. Comp. Sci."},{"issue":"1","key":"7_CR17","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1186\/1752-0509-8-84","volume":"8","author":"L Cardelli","year":"2014","unstructured":"Cardelli, L.: Morphisms of reaction networks that couple structure to function. BMC Syst. Biol. 8(1), 84 (2014)","journal-title":"BMC Syst. Biol."},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"Cardelli, L., Csik\u00e1sz-Nagy, A., Dalchau, N., Tribastone, M., Tschaikowski, M.: Noise reduction in complex biological switches. Scientific reports 6, 20214 EP (February 2016). http:\/\/dx.doi.org\/10.1038\/srep20214","DOI":"10.1038\/srep20214"},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"Cardelli, L., Tribastone, M., Tschaikowski, M., Vandin, A.: Forward and backward bisimulations for chemical reaction networks. In: CONCUR (2015)","DOI":"10.1145\/2933575.2935318"},{"key":"7_CR20","doi-asserted-by":"crossref","unstructured":"Cardelli, L., Tribastone, M., Tschaikowski, M., Vandin, A.: Efficient syntax-driven lumping of differential equations. In: TACAS (2016, to appear)","DOI":"10.1007\/978-3-662-49674-9_6"},{"key":"7_CR21","doi-asserted-by":"crossref","unstructured":"Cardelli, L., Tribastone, M., Tschaikowski, M., Vandin, A.: Symbolic computation of differential equivalences. In: POPL (2016)","DOI":"10.1145\/2837614.2837649"},{"issue":"33\u201334","key":"7_CR22","doi-asserted-by":"crossref","first-page":"3065","DOI":"10.1016\/j.tcs.2009.02.037","volume":"410","author":"F Ciocchetta","year":"2009","unstructured":"Ciocchetta, F., Hillston, J.: Bio-PEPA: a framework for the modelling and analysis of biological systems. TCS 410(33\u201334), 3065\u20133084 (2009)","journal-title":"TCS"},{"issue":"1","key":"7_CR23","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1186\/1752-0509-2-78","volume":"2","author":"H Conzelmann","year":"2008","unstructured":"Conzelmann, H., Fey, D., Gilles, E.: Exact model reduction of combinatorial reaction networks. BMC Syst. Biol. 2(1), 78 (2008)","journal-title":"BMC Syst. Biol."},{"issue":"1","key":"7_CR24","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1186\/1471-2105-7-34","volume":"7","author":"H Conzelmann","year":"2006","unstructured":"Conzelmann, H., Saez-Rodriguez, J., Sauter, T., Kholodenko, B., Gilles, E.: A domain-oriented approach to the reduction of combinatorial complexity in signal transduction networks. BMC Bioinform. 7(1), 34 (2006)","journal-title":"BMC Bioinform."},{"key":"7_CR25","doi-asserted-by":"crossref","unstructured":"Danos, V., Feret, J., Fontana, W., Harmer, R., Krivine, J.: Abstracting the differential semantics of rule-based models: exact and automated model reduction. In: LICS, pp. 362\u2013381 (2010)","DOI":"10.1109\/LICS.2010.44"},{"key":"7_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L Moura de","year":"2008","unstructured":"de Moura, L., Bj\u00f8rner, N.S.: Z3: an efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337\u2013340. Springer, Heidelberg (2008)"},{"key":"7_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1007\/978-3-642-02930-1_36","volume-title":"Automata, Languages and Programming","author":"R Nicola De","year":"2009","unstructured":"De Nicola, R., Latella, D., Loreti, M., Massink, M.: Rate-based transition systems for stochastic process calculi. In: Albers, S., Marchetti-Spaccamela, A., Matias, Y., Nikoletseas, S., Thomas, W. (eds.) ICALP 2009, Part II. LNCS, vol. 5556, pp. 435\u2013446. Springer, Heidelberg (2009)"},{"issue":"2","key":"7_CR28","first-page":"7:1","volume":"9","author":"R Nicola De","year":"2014","unstructured":"De Nicola, R., Loreti, M., Pugliese, R., Tiezzi, F.: A formal approach to autonomic systems programming: the SCEL language. TAAS 9(2), 7:1\u20137:29 (2014)","journal-title":"TAAS"},{"key":"7_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1007\/978-3-642-35873-9_5","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"C Dehnert","year":"2013","unstructured":"Dehnert, C., Katoen, J.-P., Parker, D.: SMT-based bisimulation minimisation of Markov models. In: Giacobazzi, R., Berdine, J., Mastroeni, I. (eds.) VMCAI 2013. LNCS, vol. 7737, pp. 28\u201347. Springer, Heidelberg (2013)"},{"issue":"4","key":"7_CR30","doi-asserted-by":"crossref","first-page":"41","DOI":"10.5038\/2375-0901.12.4.3","volume":"14","author":"P DeMaio","year":"2009","unstructured":"DeMaio, P.: Bike-sharing: history, impacts, models of provision, and future. J. Publ. Transp. 14(4), 41\u201356 (2009)","journal-title":"J. Publ. Transp."},{"issue":"6","key":"7_CR31","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1016\/S0020-0190(03)00343-0","volume":"87","author":"S Derisavi","year":"2003","unstructured":"Derisavi, S., Hermanns, H., Sanders, W.: Optimal state-space lumping in Markov chains. Inf. Process. Lett. 87(6), 309\u2013315 (2003)","journal-title":"Inf. Process. Lett."},{"key":"7_CR32","doi-asserted-by":"crossref","unstructured":"Feng, C., Hillston, J.: Automatic moment-closure approximation of spatially distributed collective adaptive systems. ACM Trans. Model. Comput. Simul. (to appear)","DOI":"10.1145\/2883608"},{"key":"7_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1007\/978-3-319-10696-0_22","volume-title":"Quantitative Evaluation of Systems","author":"C Feng","year":"2014","unstructured":"Feng, C., Hillston, J.: PALOMA: a process algebra for located Markovian agents. In: Norman, G., Sanders, W. (eds.) QEST 2014. LNCS, vol. 8657, pp. 265\u2013280. Springer, Heidelberg (2014)"},{"key":"7_CR34","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1016\/j.entcs.2010.12.007","volume":"268","author":"J Feret","year":"2010","unstructured":"Feret, J.: Fragments-based model reduction: some case studies. Electron. Notes Theoret. Comput. Sci. 268, 77\u201396 (2010)","journal-title":"Electron. Notes Theoret. Comput. Sci."},{"issue":"16","key":"7_CR35","doi-asserted-by":"crossref","first-page":"6453","DOI":"10.1073\/pnas.0809908106","volume":"106","author":"J Feret","year":"2009","unstructured":"Feret, J., Danos, V., Krivine, J., Harmer, R., Fontana, W.: Internal coarse-graining of molecular systems. Proc. Nat. Acad. Sci. 106(16), 6453\u20136458 (2009)","journal-title":"Proc. Nat. Acad. Sci."},{"key":"7_CR36","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1016\/j.tcs.2011.12.059","volume":"431","author":"J Feret","year":"2012","unstructured":"Feret, J., Henzinger, T., Koeppl, H., Petrov, T.: Lumpability abstractions of rule-based systems. Theoret. Comput. Sci. 431, 137\u2013164 (2012)","journal-title":"Theoret. Comput. Sci."},{"key":"7_CR37","doi-asserted-by":"publisher","unstructured":"Fricker, C., Gast, N.: Incentives and redistribution in homogeneous bike-sharing systems with stations of finite capacity. EURO J. Transp. Logist. 1\u201331 (2014). doi: 10.1007\/s13676-014-0053-5","DOI":"10.1007\/s13676-014-0053-5"},{"key":"7_CR38","doi-asserted-by":"crossref","unstructured":"Galpin, V.: Spatial representations and analysis techniques. In: SFM (2016)","DOI":"10.1007\/978-3-319-34096-8_5"},{"key":"7_CR39","doi-asserted-by":"crossref","unstructured":"Gao, S., Kong, S., Clarke, E.: Satisfiability modulo ODEs. In: FMCAD, pp. 105\u2013112 (2013)","DOI":"10.1109\/FMCAD.2013.6679398"},{"key":"7_CR40","unstructured":"Grosu, R., Bartocci, E.: Spatio-temporal model checking. In: SFM (2016)"},{"key":"7_CR41","doi-asserted-by":"crossref","unstructured":"Gulwani, S., Jha, S., Tiwari, A., Venkatesan, R.: Synthesis of loop-free programs. In: PLDI, pp. 62\u201373 (2011)","DOI":"10.1145\/1993498.1993506"},{"key":"7_CR42","doi-asserted-by":"crossref","unstructured":"Gupta, V., Jagadeesan, R., Panangaden, P.: Approximate reasoning for real-time probabilistic processes. Log. Methods Comput. Sci. 2(1) (2006)","DOI":"10.2168\/LMCS-2(1:4)2006"},{"issue":"22\u201324","key":"7_CR43","doi-asserted-by":"crossref","first-page":"2260","DOI":"10.1016\/j.tcs.2010.02.001","volume":"411","author":"RA Hayden","year":"2010","unstructured":"Hayden, R.A., Bradley, J.T.: A fluid analysis framework for a Markovian process algebra. Theoret. Comput. Sci. 411(22\u201324), 2260\u20132297 (2010)","journal-title":"Theoret. Comput. Sci."},{"key":"7_CR44","doi-asserted-by":"crossref","unstructured":"Hillston, J.: A compositional approach to performance modelling. In: CUP (1996)","DOI":"10.1017\/CBO9780511569951"},{"key":"7_CR45","doi-asserted-by":"crossref","unstructured":"Hillston, J.: Fluid flow approximation of PEPA models. In: QEST, pp. 33\u201343, September 2005","DOI":"10.1109\/QEST.2005.12"},{"key":"7_CR46","doi-asserted-by":"crossref","unstructured":"Iacobelli, G., Tribastone, M.: Lumpability of fluid models with heterogeneous agent types. In: DSN, pp. 1\u201311 (2013)","DOI":"10.1109\/DSN.2013.6575346"},{"key":"7_CR47","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/978-3-662-48057-1_23","volume-title":"Mathematical Foundations of Computer Science 2015","author":"G Iacobelli","year":"2015","unstructured":"Iacobelli, G., Tribastone, M., Vandin, A.: Differential bisimulation for a Markovian process algebra. In: Italiano, G.F., Pighizzini, G., Sannella, D.T. (eds.) MFCS 2015. LNCS, vol. 9234, pp. 293\u2013306. Springer, Heidelberg (2015)"},{"issue":"3\u20134","key":"7_CR48","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1016\/0304-3800(87)90030-5","volume":"37","author":"Y Iwasa","year":"1987","unstructured":"Iwasa, Y., Andreasen, V., Levin, S.: Aggregation in model ecosystems. I. Perfect aggregation. Ecol. Model. 37(3\u20134), 287\u2013302 (1987)","journal-title":"Ecol. Model."},{"key":"7_CR49","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1007\/978-3-642-31365-3_27","volume-title":"Automated Reasoning","author":"D Jovanovi\u0107","year":"2012","unstructured":"Jovanovi\u0107, D., de Moura, L.: Solving non-linear arithmetic. In: Gramlich, B., Miller, D., Sattler, U. (eds.) IJCAR 2012. LNCS, vol. 7364, pp. 339\u2013354. Springer, Heidelberg (2012)"},{"key":"7_CR50","doi-asserted-by":"crossref","unstructured":"Katoen, J., Khattri, M., Zapreev, I.: A Markov reward model checker. In: QEST, pp. 243\u2013244 (2005)","DOI":"10.1109\/QEST.2005.2"},{"issue":"772","key":"7_CR51","doi-asserted-by":"crossref","first-page":"700","DOI":"10.1098\/rspa.1927.0118","volume":"115","author":"WO Kermack","year":"1927","unstructured":"Kermack, W.O., McKendrick, A.: Contribution to the mathematical theory of epidemics. Proc. Roy. Soc. Lond. Ser. A Containing Papers Math. Phys. Charact. 115(772), 700\u2013721 (1927)","journal-title":"Proc. Roy. Soc. Lond. Ser. A Containing Papers Math. Phys. Charact."},{"key":"7_CR52","doi-asserted-by":"crossref","first-page":"116","DOI":"10.1016\/j.jtbi.2011.11.014","volume":"295","author":"P Kocieniewski","year":"2012","unstructured":"Kocieniewski, P., Faeder, J.R., Lipniacki, T.: The interplay of double phosphorylation and scaffolding in MAPK pathways. J. Theor. Biol. 295, 116\u2013124 (2012)","journal-title":"J. Theor. Biol."},{"key":"7_CR53","doi-asserted-by":"crossref","unstructured":"K\u00f6ksal, A.S., Kuncak, V., Suter, P.: Constraints as control. In: POPL, pp. 151\u2013164 (2012)","DOI":"10.1145\/2103656.2103675"},{"key":"7_CR54","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","volume-title":"Computer Aided Verification","author":"M Kwiatkowska","year":"2011","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: verification of probabilistic real-time systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 585\u2013591. Springer, Heidelberg (2011)"},{"issue":"1","key":"7_CR55","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0890-5401(91)90030-6","volume":"94","author":"KG Larsen","year":"1991","unstructured":"Larsen, K.G., Skou, A.: Bisimulation through probabilistic testing. Inf. Comput. 94(1), 1\u201328 (1991)","journal-title":"Inf. Comput."},{"key":"7_CR56","doi-asserted-by":"crossref","unstructured":"Li, Y., Albarghouthi, A., Kincaid, Z., Gurfinkel, A., Chechik, M.: Symbolic optimization with SMT solvers. In: POPL, pp. 607\u2013618 (2014)","DOI":"10.1145\/2535838.2535857"},{"key":"7_CR57","doi-asserted-by":"crossref","unstructured":"Loreti, M., Hillston, J.: Modeling and analysis of collective adaptive systems with CARMA and its tools. In: SFM (2016)","DOI":"10.1007\/978-3-319-34096-8_4"},{"key":"7_CR58","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1007\/978-3-642-19811-3_8","volume-title":"Fundamental Approaches to Software Engineering","author":"M Massink","year":"2011","unstructured":"Massink, M., Latella, D., Bracciali, A., Hillston, J.: Modelling non-linear crowd dynamics in Bio-PEPA. In: Giannakopoulou, D., Orejas, F. (eds.) FASE 2011. LNCS, vol. 6603, pp. 96\u2013110. Springer, Heidelberg (2011)"},{"key":"7_CR59","doi-asserted-by":"crossref","unstructured":"Mover, S., Cimatti, A., Tiwari, A., Tonetta, S.: Time-aware relational abstractions for hybrid systems. In: EMSOFT, pp. 1\u201310 (2013)","DOI":"10.1109\/EMSOFT.2013.6658592"},{"key":"7_CR60","volume-title":"Lehninger Principles of Biochemistry","author":"DL Nelson","year":"2013","unstructured":"Nelson, D.L., Cox, M.M.: Lehninger Principles of Biochemistry, 6th edn. Palgrave Macmillan, Basingstoke (2013)","edition":"6"},{"key":"7_CR61","series-title":"Cambridge Series in Statistical and Probabilistic Mathematics","volume-title":"Markov Chains","author":"J Norris","year":"1998","unstructured":"Norris, J.: Markov Chains. Cambridge Series in Statistical and Probabilistic Mathematics. Cambridge University Press, Cambridge (1998)"},{"issue":"98","key":"7_CR62","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1021\/cr950223l","volume":"2","author":"MS Okino","year":"1998","unstructured":"Okino, M.S., Mavrovouniotis, M.L.: Simplification of mathematical models of chemical reaction systems. Chem. Rev. 2(98), 391\u2013408 (1998)","journal-title":"Chem. Rev."},{"issue":"6","key":"7_CR63","doi-asserted-by":"crossref","first-page":"973","DOI":"10.1137\/0216062","volume":"16","author":"R Paige","year":"1987","unstructured":"Paige, R., Tarjan, R.: Three partition refinement algorithms. SIAM J. Comput. 16(6), 973\u2013989 (1987)","journal-title":"SIAM J. Comput."},{"issue":"12","key":"7_CR64","doi-asserted-by":"crossref","first-page":"2035","DOI":"10.1016\/j.automatica.2003.07.003","volume":"39","author":"GJ Pappas","year":"2003","unstructured":"Pappas, G.J.: Bisimilar linear systems. Automatica 39(12), 2035\u20132047 (2003)","journal-title":"Automatica"},{"key":"7_CR65","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"508","DOI":"10.1007\/978-3-540-45187-7_33","volume-title":"CONCUR 2003 - Concurrency Theory","author":"A Pierro Di","year":"2003","unstructured":"Di Pierro, A., Hankin, C., Wiklicky, H.: Quantitative relations and approximate process equivalences. In: Amadio, R.M., Lugiez, D. (eds.) CONCUR 2003. LNCS, vol. 2761, pp. 508\u2013522. Springer, Heidelberg (2003)"},{"key":"7_CR66","doi-asserted-by":"crossref","first-page":"363","DOI":"10.25088\/ComplexSystems.14.4.363","volume":"14","author":"JE Rowe","year":"2003","unstructured":"Rowe, J.E., Gomez, R.: El Botellon: modeling the movement of crowds in a city. Complex Syst. 14, 363\u2013370 (2003)","journal-title":"Complex Syst."},{"key":"7_CR67","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"686","DOI":"10.1007\/978-3-642-22110-1_56","volume-title":"Computer Aided Verification","author":"S Sankaranarayanan","year":"2011","unstructured":"Sankaranarayanan, S., Tiwari, A.: Relational abstractions for continuous and hybrid systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 686\u2013702. Springer, Heidelberg (2011)"},{"key":"7_CR68","doi-asserted-by":"crossref","unstructured":"Sattenspiel, L., Herring, D.A.: Simulating the effect of quarantine on the spread of the 1918\u201319 flu in Central Canada. Bull. Math. Biol. 65(1), 1\u201326. http:\/\/dx.doi.org\/10.1006\/bulm.2002.0317","DOI":"10.1006\/bulm.2002.0317"},{"issue":"12","key":"7_CR69","doi-asserted-by":"crossref","first-page":"2160","DOI":"10.1109\/TAC.2004.838497","volume":"49","author":"AJ Schaft van der","year":"2004","unstructured":"van der Schaft, A.J.: Equivalence of dynamical systems by bisimulation. IEEE Trans. Autom. Control 49(12), 2160\u20132172 (2004)","journal-title":"IEEE Trans. Autom. Control"},{"issue":"8","key":"7_CR70","doi-asserted-by":"crossref","first-page":"531","DOI":"10.1109\/TSE.2006.74","volume":"32","author":"J Sproston","year":"2006","unstructured":"Sproston, J., Donatelli, S.: Backward bisimulation in Markov chain model checking. IEEE Trans. Softw. Eng. 32(8), 531\u2013546 (2006)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"10","key":"7_CR71","doi-asserted-by":"crossref","first-page":"e1003278","DOI":"10.1371\/journal.pcbi.1003278","volume":"9","author":"R Suderman","year":"2013","unstructured":"Suderman, R., Deeds, E.J.: Machines vs. ensembles: effective MAPK signaling through heterogeneous sets of protein complexes. PLoS Comput. Biol. 9(10), e1003278 (2013)","journal-title":"PLoS Comput. Biol."},{"issue":"6","key":"7_CR72","doi-asserted-by":"crossref","first-page":"1531","DOI":"10.1137\/S0036139995293294","volume":"57","author":"J Toth","year":"1997","unstructured":"Toth, J., Li, G., Rabitz, H., Tomlin, A.S.: The effect of lumping and expanding on kinetic differential equations. SIAM J. Appl. Math. 57(6), 1531\u20131556 (1997)","journal-title":"SIAM J. Appl. Math."},{"issue":"1","key":"7_CR73","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1109\/TSE.2010.82","volume":"38","author":"M Tribastone","year":"2012","unstructured":"Tribastone, M., Gilmore, S., Hillston, J.: Scalable differential analysis of process algebra models. IEEE Trans. Softw. Eng. 38(1), 205\u2013219 (2012)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"7_CR74","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"380","DOI":"10.1007\/978-3-642-32940-1_27","volume-title":"CONCUR 2012 \u2013 Concurrency Theory","author":"M Tschaikowski","year":"2012","unstructured":"Tschaikowski, M., Tribastone, M.: Exact fluid lumpability for Markovian process algebra. In: Koutny, M., Ulidowski, I. (eds.) CONCUR 2012. LNCS, vol. 7454, pp. 380\u2013394. Springer, Heidelberg (2012)"},{"key":"7_CR75","doi-asserted-by":"crossref","unstructured":"Tschaikowski, M., Tribastone, M.: Approximate reduction of heterogenous nonlinear models with differential hulls. IEEE Trans. Autom. Control. (2015, to appear)","DOI":"10.1109\/TAC.2015.2457172"},{"issue":"2","key":"7_CR76","doi-asserted-by":"crossref","first-page":"238","DOI":"10.1016\/j.jlamp.2014.10.004","volume":"84","author":"M Tschaikowski","year":"2015","unstructured":"Tschaikowski, M., Tribastone, M.: A unified framework for differential aggregations in Markovian process algebra. J. Log. Algebraic Methods Program. 84(2), 238\u2013258 (2015)","journal-title":"J. Log. Algebraic Methods Program."},{"key":"7_CR77","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1007\/978-3-642-12002-2_4","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A Valmari","year":"2010","unstructured":"Valmari, A., Franceschinis, G.: Simple O(m logn) time Markov chain lumping. In: Esparza, J., Majumdar, R. (eds.) TACAS 2010. LNCS, vol. 6015, pp. 38\u201352. Springer, Heidelberg (2010)"},{"key":"7_CR78","unstructured":"Voit, E.O.: Biochemical systems theory: a review. ISRN Biomath. 1\u201353 (2013). http:\/\/dx.doi.org\/10.1155\/2013\/897658897658"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-34096-8_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,3]],"date-time":"2025-06-03T17:19:51Z","timestamp":1748971191000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-34096-8_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319340951","9783319340968"],"references-count":78,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-34096-8_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]}}}