{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T11:23:54Z","timestamp":1725794634194},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319082189"},{"type":"electronic","value":"9783319082196"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-08219-6_10","type":"book-chapter","created":{"date-parts":[[2014,5,28]],"date-time":"2014-05-28T06:20:43Z","timestamp":1401258043000},"page":"140-154","source":"Crossref","is-referenced-by-count":0,"title":["Time-Parallel Simulation for Stochastic Automata Networks and Stochastic Process Algebra"],"prefix":"10.1007","author":[{"given":"Thu Ha","family":"Dao Thi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Michel","family":"Fourneau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Franck","family":"Quessette","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","volume-title":"Synchronization and Linearity: An Algebra for Discrete Event Systems","author":"F. Baccelli","year":"1992","unstructured":"Baccelli, F., Cohen, G., Olsder, G.J., Quadrat, J.-P.: Synchronization and Linearity: An Algebra for Discrete Event Systems. Willey, New York (1992)"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Baccelli, F., Gaujal, B., Furmento, N.: Parallel and Distributed Simulation of Free Choice Petri Nets. In: Parallel and Distributed Simulation, Lake Placid, USA (1995)","DOI":"10.1145\/214283.214288"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Ben-Othman, J., Mokdad, L., Cheikh, M.O., Sene, M.: Performance analysis of composite web services using stochastic automata networks over ip network. In: Proceedings of the 14th IEEE Symposium on Computers and Communications (ISCC 2009), Sousse, Tunisia, pp. 92\u201397. IEEE (2009)","DOI":"10.1109\/ISCC.2009.5202384"},{"key":"10_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/978-3-642-02205-0_20","volume-title":"Analytical and Stochastic Modeling Techniques and Applications","author":"T.H. Dao Thi","year":"2009","unstructured":"Dao Thi, T.H., Fourneau, J.M.: Stochastic automata networks with master\/slave synchronization: Product form and tensor. In: Al-Begain, K., Fiems, D., Horv\u00e1th, G. (eds.) ASMTA 2009. LNCS, vol.\u00a05513, pp. 279\u2013293. Springer, Heidelberg (2009)"},{"issue":"3","key":"10_CR5","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1145\/278298.278303","volume":"45","author":"P. Fernandes","year":"1998","unstructured":"Fernandes, P., Plateau, B., Stewart, W.J.: Efficient descriptor-vector multiplications in Stochastic Automata Networks. J. ACM\u00a045(3), 381\u2013414 (1998)","journal-title":"J. ACM"},{"key":"10_CR6","first-page":"231","volume-title":"13th IEEE\/ACM International Symposium on Distributed Simulation and Real Time Applications","author":"J.-M. Fourneau","year":"2009","unstructured":"Fourneau, J.-M., Kadi, I., Pekergin, N.: Improving time parallel simulation for monotone systems. In: Turner, S.J., Roberts, D., Cai, W., El-Saddik, A.B. (eds.) 13th IEEE\/ACM International Symposium on Distributed Simulation and Real Time Applications, pp. 231\u2013234. IEEE Computer Society Press, Singapore (2009)"},{"key":"10_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/3-540-45798-4_4","volume-title":"Performance Evaluation of Complex Systems: Techniques and Tools","author":"J.-M. Fourneau","year":"2002","unstructured":"Fourneau, J.-M., Pekergin, N.: An algorithmic approach to stochastic bounds. In: Calzarossa, M.C., Tucci, S. (eds.) Performance 2002. LNCS, vol.\u00a02459, pp. 64\u201388. Springer, Heidelberg (2002)"},{"key":"10_CR8","doi-asserted-by":"publisher","first-page":"854","DOI":"10.1016\/j.peva.2008.04.007","volume":"85","author":"J.-M. Fourneau","year":"2008","unstructured":"Fourneau, J.-M., Plateau, B., Stewart, W.: An algebraic condition for product form in Stochastic Automata Networks without synchronizations. Performance Evaluation\u00a085, 854\u2013868 (2008)","journal-title":"Performance Evaluation"},{"key":"10_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/978-3-642-24749-1_6","volume-title":"Computer Performance Engineering","author":"J.-M. Fourneau","year":"2011","unstructured":"Fourneau, J.-M., Quessette, F.: Monotonicity and efficient computation of bounds with time parallel simulation. In: Thomas, N. (ed.) EPEW 2011. LNCS, vol.\u00a06977, pp. 57\u201371. Springer, Heidelberg (2011)"},{"key":"10_CR10","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/BF01439037","volume":"5","author":"R.M. Fujimoto","year":"1994","unstructured":"Fujimoto, R.M., Cooper, C.A., Nikolaidis, I.: Parallel simulation of statistical multiplexers. J. of Discrete Event Dynamic Systems\u00a05, 115\u2013140 (1994)","journal-title":"J. of Discrete Event Dynamic Systems"},{"key":"10_CR11","unstructured":"Fujimoto, R.M.: Parallel and Distributed Simulation Systems. Wiley Series on Parallel and Distributed Computing (2000)"},{"issue":"3","key":"10_CR12","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1145\/128738.128739","volume":"9","author":"A.G. Greenberg","year":"1991","unstructured":"Greenberg, A.G., Lubachevsky, B.D., Mitrani, I.: Algorithms for unboundedly parallel simulations. ACM Trans. Comput. Syst.\u00a09(3), 201\u2013221 (1991)","journal-title":"ACM Trans. Comput. Syst."},{"issue":"2","key":"10_CR13","doi-asserted-by":"publisher","first-page":"436","DOI":"10.1016\/S0377-2217(02)00431-9","volume":"148","author":"O. Gusak","year":"2003","unstructured":"Gusak, O., Dayar, T., Fourneau, J.-M.: Lumpable continuous-time stochastic automata networks. European Journal of Operational Research\u00a0148(2), 436\u2013451 (2003)","journal-title":"European Journal of Operational Research"},{"key":"10_CR14","unstructured":"Hillston, J.: A compositional approach to Performance Modeling. PhD thesis. University of Edinburgh (1994)"},{"key":"10_CR15","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1177\/0037549705051697","volume":"81","author":"T. Kiesling","year":"2005","unstructured":"Kiesling, T.: Using approximation with time-parallel simulation. Simulation\u00a081, 255\u2013266 (2005)","journal-title":"Simulation"},{"key":"10_CR16","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4899-3132-0","volume-title":"Markov Processes for Stochastic Modeling","author":"M. Kijima","year":"1997","unstructured":"Kijima, M.: Markov Processes for Stochastic Modeling. Chapman & Hall, London (1997)"},{"issue":"1","key":"10_CR17","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1145\/102810.214307","volume":"1","author":"Y. Lin","year":"1991","unstructured":"Lin, Y., Lazowska, E.: A time-division algorithm for parallel simulation. ACM Transactions on Modeling and Computer Simulation\u00a01(1), 73\u201383 (1991)","journal-title":"ACM Transactions on Modeling and Computer Simulation"},{"key":"10_CR18","volume-title":"Comparison Methods for Stochastic Models and Risks","author":"A. Muller","year":"2002","unstructured":"Muller, A., Stoyan, D.: Comparison Methods for Stochastic Models and Risks. Wiley, New York (2002)"},{"issue":"8","key":"10_CR19","doi-asserted-by":"publisher","first-page":"849","DOI":"10.1109\/71.298211","volume":"5","author":"D.M. Nicol","year":"1994","unstructured":"Nicol, D.M., Greenberg, A.G., Lubachevsky, B.D.: Massively parallel algorithms for trace-driven cache simulations. IEEE Trans. Parallel Distrib. Syst.\u00a05(8), 849\u2013859 (1994)","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"key":"10_CR20","doi-asserted-by":"crossref","unstructured":"Plateau, B.: On the stochastic structure of parallelism and synchronization models for distributed algorithms. In: Proc. of the SIGMETRICS Conference, Texas, pp. 147\u2013154 (1985)","DOI":"10.1145\/317786.317819"},{"key":"10_CR21","unstructured":"Plateau, B., Fourneau, J.M., Lee, K.H.: PEPS: A package for solving complex Markov models of parallel systems. In: Proceedings of the 4th Int. Conf. on Modeling Techniques and Tools for Computer Performance Evaluation, Majorca, Spain, pp. 341\u2013360 (1988)"}],"container-title":["Lecture Notes in Computer Science","Analytical and Stochastic Modeling Techniques and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-08219-6_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T19:07:33Z","timestamp":1558897653000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-08219-6_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319082189","9783319082196"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-08219-6_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}