{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T13:57:19Z","timestamp":1725803839662},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319106953"},{"type":"electronic","value":"9783319106960"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-10696-0_8","type":"book-chapter","created":{"date-parts":[[2014,8,27]],"date-time":"2014-08-27T10:33:45Z","timestamp":1409135625000},"page":"90-105","source":"Crossref","is-referenced-by-count":2,"title":["Mean Field for Performance Models with Generally-Distributed Timed Transitions"],"prefix":"10.1007","author":[{"given":"Richard A.","family":"Hayden","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ill\u00e9s","family":"Horv\u00e1th","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mikl\u00f3s","family":"Telek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"11","key":"8_CR1","doi-asserted-by":"publisher","first-page":"1207","DOI":"10.1016\/j.peva.2011.07.004","volume":"68","author":"J. Anselmi","year":"2011","unstructured":"Anselmi, J., Verloop, M.: Energy-aware capacity scaling in virtualized environments with performance guarantees. Perf. Eval.\u00a068(11), 1207\u20131221 (2011)","journal-title":"Perf. Eval."},{"issue":"3","key":"8_CR2","doi-asserted-by":"publisher","first-page":"357","DOI":"10.2748\/tmj\/1178243286","volume":"19","author":"K. Azuma","year":"1967","unstructured":"Azuma, K.: Weighted sums of certain dependent random variables. Tohoku Mathematical Journal\u00a019(3), 357\u2013367 (1967)","journal-title":"Tohoku Mathematical Journal"},{"key":"8_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/978-3-642-19748-2_4","volume-title":"Transactions on Computational Systems Biology XIII","author":"R. Barbuti","year":"2011","unstructured":"Barbuti, R., Caravagna, G., Maggiolo-Schettini, A., Milazzo, P.: Delay stochastic simulation of biological systems: A purely delayed approach. In: Priami, C., Back, R.-J., Petre, I., de Vink, E. (eds.) Transactions on Computational Systems Biology XIII. LNCS, vol.\u00a06575, pp. 61\u201384. Springer, Heidelberg (2011)"},{"issue":"11-12","key":"8_CR4","doi-asserted-by":"publisher","first-page":"823","DOI":"10.1016\/j.peva.2008.03.005","volume":"65","author":"M. Bena\u00efm","year":"2008","unstructured":"Bena\u00efm, M., Le Boudec, J.-Y.: A class of mean field interaction models for computer and communication systems. Performance Evaluation\u00a065(11-12), 823\u2013838 (2008)","journal-title":"Performance Evaluation"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Bortolussi, L., Hillston, J.: Fluid approximation of ctmc with deterministic delays. In: Int. Conf. on Quantitative Evaluation of Systems, pp. 53\u201362 (2012)","DOI":"10.1109\/QEST.2012.13"},{"key":"8_CR6","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1016\/j.tcs.2011.11.028","volume":"419","author":"G. Caravagna","year":"2012","unstructured":"Caravagna, G., Hillston, J.: Bio-PEPAd: A non-Markovian extension of Bio-PEPA. Theoretical Computer Science\u00a0419, 26\u201349 (2012)","journal-title":"Theoretical Computer Science"},{"key":"8_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1007\/3-540-56863-8_46","volume-title":"Application and Theory of Petri Nets 1993","author":"H. Choi","year":"1993","unstructured":"Choi, H., Kulkarni, V., Trivedi, K., Marsan, M.A.: Transient analysis of deterministic and stochastic petri nets. In: Ajmone Marsan, M. (ed.) ICATPN 1993. LNCS, vol.\u00a0691, pp. 166\u2013185. Springer, Heidelberg (1993)"},{"issue":"1","key":"8_CR8","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1080\/15427951.2006.10129115","volume":"3","author":"F. Chung","year":"2006","unstructured":"Chung, F., Lu, L.: Concentration inequalities and martingale inequalities: A survey. Internet Mathematics\u00a03(1), 79\u2013127 (2006)","journal-title":"Internet Mathematics"},{"issue":"03","key":"8_CR9","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1017\/S0305004100030437","volume":"51","author":"D.R. Cox","year":"1955","unstructured":"Cox, D.R.: The analysis of non-Markovian stochastic processes by the inclusion of supplementary variables. Mathematical Proceedings of the Cambridge Philosophical Society\u00a051(03), 433\u2013441 (1955)","journal-title":"Mathematical Proceedings of the Cambridge Philosophical Society"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Durrett, R.: Probability: Theory and Examples. Cambridge series on statistical and probabilistic mathematic. Cambridge University Press (2010)","DOI":"10.1017\/CBO9780511779398"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Ellis, R.: Entropy, Large Deviations, and Statistical Mechanics. Classics in Mathematics. Springer (2005)","DOI":"10.1007\/3-540-29060-5"},{"key":"8_CR12","unstructured":"Ethier, S.N., Kurtz, T.G.: Markov Processes: Characterization and Convergence. Wiley (2005)"},{"issue":"1","key":"8_CR13","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1145\/1811099.1811042","volume":"38","author":"N. Gast","year":"2010","unstructured":"Gast, N., Bruno, G.: A mean field model of work stealing in large-scale systems. SIGMETRICS Perform. Eval. Rev.\u00a038(1), 13\u201324 (2010)","journal-title":"SIGMETRICS Perform. Eval. Rev."},{"issue":"1","key":"8_CR14","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1109\/5.21067","volume":"77","author":"P.W. Glynn","year":"1989","unstructured":"Glynn, P.W.: A GSMP formalism for discrete event systems. Proceedings of the IEEE\u00a077(1), 14\u201323 (1989)","journal-title":"Proceedings of the IEEE"},{"issue":"1","key":"8_CR15","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1093\/logcom\/10.1.3","volume":"10","author":"P.G. Harrison","year":"2000","unstructured":"Harrison, P.G., Strulo, B.: SPADES - a process algebra for discrete event simulation. Journal of Logic and Computation\u00a010(1), 3\u201342 (2000)","journal-title":"Journal of Logic and Computation"},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"Hayden, R.A.: Mean field for performance models with deterministically-timed transitions. In: 2012 Ninth International Conference on Quantitative Evaluation of Systems (QEST), pp. 63\u201373 (September 2012)","DOI":"10.1109\/QEST.2012.27"},{"key":"8_CR17","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. Theoretical Computer Science\u00a0411, 2260\u20132297 (2010)","journal-title":"Theoretical Computer Science"},{"issue":"3","key":"8_CR18","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1016\/0304-4149(78)90020-0","volume":"6","author":"T.G. Kurtz","year":"1978","unstructured":"Kurtz, T.G.: Strong approximation theorems for density dependent Markov chains. Stochastic Processes and their Applications\u00a06(3), 223\u2013240 (1978)","journal-title":"Stochastic Processes and their Applications"},{"issue":"2","key":"8_CR19","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1016\/j.cam.2003.03.001","volume":"161","author":"S. Maset","year":"2003","unstructured":"Maset, S.: Numerical solution of retarded functional differential equations as abstract cauchy problems. J. Comput. Appl. Math.\u00a0161(2), 259\u2013282 (2003)","journal-title":"J. Comput. Appl. Math."},{"key":"8_CR20","unstructured":"Matthes, K.: Zur theorie der bedienungsprozesse. In: 3rd Prague Conf. on Inf. Theory, Statistical Decision Functions and Random Processes, pp. 512\u2013528 (1962)"},{"issue":"5","key":"8_CR21","doi-asserted-by":"publisher","first-page":"613","DOI":"10.1007\/s00285-008-0178-y","volume":"57","author":"R. Schlicht","year":"2008","unstructured":"Schlicht, R., Winkler, G.: A delay stochastic process with applications in molecular biology. Journal of Mathematical Biology\u00a057(5), 613\u2013648 (2008)","journal-title":"Journal of Mathematical Biology"},{"key":"8_CR22","doi-asserted-by":"crossref","unstructured":"Whitt, W.: Internet supplement to Stochastic-Process Limits (2002)","DOI":"10.1007\/b97479"}],"container-title":["Lecture Notes in Computer Science","Quantitative Evaluation of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-10696-0_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T13:51:54Z","timestamp":1558965114000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-10696-0_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319106953","9783319106960"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-10696-0_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}