{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:56:41Z","timestamp":1762459001563},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642329395"},{"type":"electronic","value":"9783642329401"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-32940-1_27","type":"book-chapter","created":{"date-parts":[[2012,9,1]],"date-time":"2012-09-01T20:47:02Z","timestamp":1346532422000},"page":"380-394","source":"Crossref","is-referenced-by-count":21,"title":["Exact Fluid Lumpability for Markovian Process Algebra"],"prefix":"10.1007","author":[{"given":"Max","family":"Tschaikowski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mirco","family":"Tribastone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"27_CR1","doi-asserted-by":"publisher","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\u00a013(3), 246\u2013253 (1968)","journal-title":"IEEE Trans. Autom. Control"},{"issue":"1-2","key":"27_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0304-3975(97)00127-8","volume":"202","author":"M. Bernardo","year":"1998","unstructured":"Bernardo, M., Gorrieri, R.: A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time. Theor. Comput. Sci.\u00a0202(1-2), 1\u201354 (1998)","journal-title":"Theor. Comput. Sci."},{"key":"27_CR3","first-page":"216","volume":"11","author":"L. Bortolussi","year":"2009","unstructured":"Bortolussi, L., Policriti, A.: Dynamical systems and stochastic programming: To ordinary differential equations and back. T. Comp. Sys. Biology\u00a011, 216\u2013267 (2009)","journal-title":"T. Comp. Sys. Biology"},{"key":"27_CR4","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. Applied Probability\u00a031, 59\u201374 (1994)","journal-title":"J. Applied Probability"},{"key":"27_CR5","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1016\/j.tcs.2007.11.012","volume":"391","author":"L. Cardelli","year":"2008","unstructured":"Cardelli, L.: On process rate semantics. Theor. Comput. Sci.\u00a0391, 190\u2013215 (2008)","journal-title":"Theor. Comput. Sci."},{"key":"27_CR6","unstructured":"Hayden, R.: Scalable performance analysis of massively parallel stochastic systems. Ph.D. thesis, Imperial College London (2011)"},{"issue":"22-24","key":"27_CR7","doi-asserted-by":"publisher","first-page":"2260","DOI":"10.1016\/j.tcs.2010.02.001","volume":"411","author":"R.A. Hayden","year":"2010","unstructured":"Hayden, R.A., Bradley, J.T.: A fluid analysis framework for a Markovian process algebra. Theor. Comput. Sci.\u00a0411(22-24), 2260\u20132297 (2010)","journal-title":"Theor. Comput. Sci."},{"key":"27_CR8","unstructured":"Hermanns, H., Rettelbach, M.: Syntax, semantics, equivalences, and axioms for MTIPP. In: Proceedings of Process Algebra and Probabilistic Methods, Erlangen, pp. 71\u201387 (1994)"},{"key":"27_CR9","doi-asserted-by":"crossref","unstructured":"Hillston, J.: Fluid flow approximation of PEPA models. In: Proceedings of Quantitative Evaluation of Systems, pp. 33\u201343. IEEE Computer Society Press (2005)","DOI":"10.1109\/QEST.2005.12"},{"key":"27_CR10","doi-asserted-by":"publisher","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 University Press, New York (1996)"},{"issue":"336","key":"27_CR11","doi-asserted-by":"publisher","first-page":"766","DOI":"10.1080\/01621459.1971.10482345","volume":"66","author":"Y. Ijiri","year":"1971","unstructured":"Ijiri, Y.: Fundamental queries in aggregation theory. Journal of the American Statistical Association\u00a066(336), 766\u2013782 (1971)","journal-title":"Journal of the American Statistical Association"},{"key":"27_CR12","doi-asserted-by":"crossref","unstructured":"Iwase, Y., Levin, S.A., Andreasen, V.: Aggregation in model ecosystems I: perfect aggregation. Ecological Modelling\u00a037 (1987)","DOI":"10.1016\/0304-3800(87)90030-5"},{"key":"27_CR13","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/978-3-540-88562-7_11","volume-title":"Computational Methods in Systems Biology","author":"M. Kwiatkowski","year":"2008","unstructured":"Kwiatkowski, M., Stark, I.: The Continuous \u03c0-Calculus: A Process Algebra for Biochemical Modelling. In: Heiner, M., Uhrmacher, A.M. (eds.) CMSB 2008. LNCS (LNBI), vol.\u00a05307, pp. 103\u2013122. Springer, Heidelberg (2008)"}],"container-title":["Lecture Notes in Computer Science","CONCUR 2012 \u2013 Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32940-1_27.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:49:37Z","timestamp":1620128977000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32940-1_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642329395","9783642329401"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32940-1_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}