{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:53:32Z","timestamp":1725512012080},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540714927"},{"type":"electronic","value":"9783540714934"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-71493-4_19","type":"book-chapter","created":{"date-parts":[[2007,5,30]],"date-time":"2007-05-30T17:33:57Z","timestamp":1180546437000},"page":"217-230","source":"Crossref","is-referenced-by-count":1,"title":["Coupling from the Past in Hybrid Models for File Sharing Peer to Peer Systems"],"prefix":"10.1007","author":[{"given":"Bruno","family":"Gaujal","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Florence","family":"Perronnin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1214\/aoap\/1177004828","volume":"5","author":"J. Dai","year":"1995","unstructured":"Dai, J.: On positive harris recurrence of multiclass queueing networks: a unified approach via fluid limit models. Annals of Applied Probability\u00a05, 49\u201377 (1995)","journal-title":"Annals of Applied Probability"},{"key":"19_CR2","volume-title":"Discrete, Continuous, and Hybrid Petri Nets","author":"R. David","year":"2004","unstructured":"David, R., Alla, H.: Discrete, Continuous, and Hybrid Petri Nets. Springer, Heidelberg (2004)"},{"key":"19_CR3","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/0304-3975(94)00228-B","volume":"138","author":"E. Asarin","year":"1995","unstructured":"Asarin, E., Maler, O., Pnueli, A.: Reachability analysis of dynamical systems having piecewise-constant derivatives. Theoretical Computer Science\u00a0138, 35\u201365 (1995)","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"19_CR4","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1002\/(SICI)1098-2418(199608\/09)9:1\/2<223::AID-RSA14>3.0.CO;2-O","volume":"9","author":"D. Propp","year":"1996","unstructured":"Propp, D., Wilson, J.: Exact sampling with coupled Markov chains and application to statistical mechanics. Random Structures and Algorithms\u00a09(1), 223\u2013252 (1996)","journal-title":"Random Structures and Algorithms"},{"key":"19_CR5","unstructured":"Gaujal, B., Perronnin, F., Bertin, R.: Perfect simulation of stochastic hybrid systems with an application to peer to peer systems. Technical report, INRIA (2006)"},{"key":"19_CR6","unstructured":"KaZaA: http:\/\/www.kazaa.com\/"},{"key":"19_CR7","unstructured":"Gnutella: http:\/\/www.gnutella.com\/"},{"key":"19_CR8","volume-title":"Numerical Recipes in C","author":"W.H. Press","year":"1992","unstructured":"Press, W.H., et al.: Numerical Recipes in C. Cambridge University Press, Cambridge (1992)"},{"key":"19_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-3267-7","volume-title":"Markov chains and stochastic stability","author":"S.P. Meyn","year":"1993","unstructured":"Meyn, S.P., Tweedy, R.L.: Markov chains and stochastic stability. Springer, Heidelberg (1993)"},{"key":"19_CR10","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1080\/15326349808807466","volume":"14","author":"S.G. Foss","year":"1998","unstructured":"Foss, S.G., Tweedy, R.L.: Perfect simulation and backward coupling. Stochastic Models\u00a014, 187\u2013204 (1998)","journal-title":"Stochastic Models"},{"key":"19_CR11","volume-title":"Elements of queueing theory","author":"F. Baccelli","year":"1994","unstructured":"Baccelli, F., Br\u00e9maud, P.: Elements of queueing theory. Springer, Heidelberg (1994)"},{"key":"19_CR12","doi-asserted-by":"crossref","unstructured":"Walker, A.: An efficient method for generating random variables with general distributions. ACM Trans. Math. Software, 253\u2013256 (1974)","DOI":"10.1145\/355744.355749"}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems: Computation and Control"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-71493-4_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T00:21:20Z","timestamp":1605745280000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-71493-4_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540714927","9783540714934"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-71493-4_19","relation":{},"subject":[]}}