{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T13:35:50Z","timestamp":1770298550618,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540255963","type":"print"},{"value":"9783540320333","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-32033-3_24","type":"book-chapter","created":{"date-parts":[[2010,9,28]],"date-time":"2010-09-28T00:20:02Z","timestamp":1285633202000},"page":"323-337","source":"Crossref","is-referenced-by-count":58,"title":["Proving Positive Almost-Sure Termination"],"prefix":"10.1007","author":[{"given":"Olivier","family":"Bournez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Florent","family":"Garnier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"24_CR1","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139172752","volume-title":"Term Rewriting and All That","author":"F. Baader","year":"1998","unstructured":"Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge University Press, Cambridge (1998)"},{"key":"24_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1007\/3-540-44667-2_3","volume-title":"Lectures on Formal Methods and Performance Analysis","author":"G. Balbo","year":"2001","unstructured":"Balbo, G.: Introduction to Stochastic Petri nets. In: Brinksma, E., Hermanns, H., Katoen, J.-P. (eds.) EEF School 2000 and FMPA 2000. LNCS, vol.\u00a02090, p. 84. Springer, Heidelberg (2001)"},{"key":"24_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/3-540-44881-0_6","volume-title":"Rewriting Techniques and Applications","author":"O. Bournez","year":"2003","unstructured":"Bournez, O., Hoyrup, M.: Rewriting Logic and Probabilities. In: Nieuwenhuis, R. (ed.) RTA 2003. LNCS, vol.\u00a02706, pp. 61\u201375. Springer, Heidelberg (2003)"},{"key":"24_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1007\/3-540-45610-4_18","volume-title":"Rewriting Techniques and Applications","author":"O. Bournez","year":"2002","unstructured":"Bournez, O., Kirchner, C.: Probabilistic Rewrite Strategies: Applications to ELAN. In: Tison, S. (ed.) RTA 2002. LNCS, vol.\u00a02378, pp. 252\u2013266. Springer, Heidelberg (2002)"},{"key":"24_CR5","volume-title":"Markov Chains, Gibbs Fields, Monte Carlo Simulation, and Queues.","author":"P. Br\u00e9maud","year":"2001","unstructured":"Br\u00e9maud, P.: Markov Chains, Gibbs Fields, Monte Carlo Simulation, and Queues. Springer, New York (2001)"},{"key":"24_CR6","unstructured":"de Alfaro, L.: Formal Verification of Probabilistic Systems. PhD thesis, Stanford University (1997)"},{"key":"24_CR7","volume-title":"An Introduction to Probability Theory and its Applications","author":"W. Feller","year":"1968","unstructured":"Feller, W.: An Introduction to Probability Theory and its Applications, vol.\u00a01. Wiley, Chichester (1968)"},{"key":"24_CR8","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1214\/aoms\/1177728976","volume":"24","author":"F.G. Foster","year":"1953","unstructured":"Foster, F.G.: On the Stochastic Matrices Associated with Certain Queuing Processes. The Annals of Mathematical Statistics\u00a024, 355\u2013360 (1953)","journal-title":"The Annals of Mathematical Statistics"},{"key":"24_CR9","doi-asserted-by":"crossref","unstructured":"Fr\u00fchwirth, T., Di Pierro, A., Wiklicky, H.: Toward Probabilistic Constraint Handling Rules. In: Abdennadher, S., Fr\u00fchwirth, T. (eds.) RCoRP 2001 (2001)","DOI":"10.1016\/S1571-0661(04)80789-8"},{"key":"24_CR10","volume-title":"Probability Theory","author":"G. Grimmett","year":"1993","unstructured":"Grimmett, G.: Probability Theory. Cambridge University Press, Cambridge (1993)"},{"key":"24_CR11","series-title":"Series in Real-Time Safety Critical Systems","volume-title":"Time and Probability in Formal Design of Distributed Systems","author":"H. Hansson","year":"1994","unstructured":"Hansson, H.: Time and Probability in Formal Design of Distributed Systems. Series in Real-Time Safety Critical Systems. Elsevier, Amsterdam (1994)"},{"key":"24_CR12","unstructured":"Jones, C.: Probabilistic Non-determinism. PhD thesis, University of Edinburgh (1990)"},{"key":"24_CR13","first-page":"1","volume-title":"Handbook of Logic in Computer Science","author":"J.W. Klop","year":"1992","unstructured":"Klop, J.W.: Term Rewriting Systems. In: Abramsky, S., Gabbay, D.M., Maibaum, T.S.E. (eds.) Handbook of Logic in Computer Science, vol.\u00a02, ch. 1, pp. 1\u2013117. Oxford University Press, Oxford (1992)"},{"key":"24_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/3-540-46029-2_13","volume-title":"Computer Performance Evaluation","author":"M. Kwiatkowska","year":"2002","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM: Probabilistic Symbolic Model Checker. In: Field, T., Harrison, P.G., Bradley, J., Harder, U. (eds.) TOOLS 2002. LNCS, vol.\u00a02324, p. 200. Springer, Heidelberg (2002)"},{"key":"24_CR15","volume-title":"Distributed Algorithms","author":"N. Lynch","year":"1997","unstructured":"Lynch, N.: Distributed Algorithms. Morgan Kaufmann Publishers, Inc., San Francisco (1997)"},{"issue":"2","key":"24_CR16","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/S0304-3975(01)00357-7","volume":"285","author":"N. Mart\u00ed-Oliet","year":"2002","unstructured":"Mart\u00ed-Oliet, N., Meseguer, J.: Rewriting Logic: Roadmap and Bibliography. Theoretical Computer Science\u00a0285(2), 121\u2013154 (2002)","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"24_CR17","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J. Meseguer","year":"1992","unstructured":"Meseguer, J.: Conditional Rewriting Logic as a Unified Model of Concurrency. Theoretical Computer Science\u00a096(1), 73\u2013155 (1992)","journal-title":"Theoretical Computer Science"},{"key":"24_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/978-3-540-39958-2_3","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"K. Nirman","year":"2003","unstructured":"Nirman, K., Sen, K., Meseguer, J., Agha, G.: A Rewriting Based Model for Probabilistic Distributed Object Systems. In: Najm, E., Nestmann, U., Stevens, P. (eds.) FMOODS 2003. LNCS, vol.\u00a02884, pp. 32\u201346. Springer, Heidelberg (2003)"},{"key":"24_CR19","unstructured":"Panangaden: Does Combining Probability and Non-Determinism Makes Sense? Bulletin of the EATCS (2001)"},{"key":"24_CR20","series-title":"Wiley Series in Probability and Mathematical Statistics","volume-title":"Markov Decision Processes - Discrete Stochastic Dynamic Programming","author":"M.L. Puternam","year":"1994","unstructured":"Puternam, M.L.: Markov Decision Processes - Discrete Stochastic Dynamic Programming. Wiley Series in Probability and Mathematical Statistics. John Wiley & Sons, Chichester (1994)"},{"key":"24_CR21","volume-title":"Real and Complex Analysis","author":"W. Rudin","year":"1987","unstructured":"Rudin, W.: Real and Complex Analysis, 3rd edn. McGraw-Hill, USA (1987)","edition":"3"},{"key":"24_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/3-540-44667-2_9","volume-title":"Lectures on Formal Methods and Performance Analysis","author":"W.H. Sanders","year":"2001","unstructured":"Sanders, W.H., Meyer, J.F.: Stochastic Activity Networks: Formal Definitions and Concepts. In: Brinksma, E., Hermanns, H., Katoen, J.-P. (eds.) EEF School 2000 and FMPA 2000. LNCS, vol.\u00a02090, p. 315. Springer, Heidelberg (2001)"},{"key":"24_CR23","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1145\/151254.151256","volume":"25","author":"M. Schneider","year":"1993","unstructured":"Schneider, M.: Self-stabilization. ACM Computing Surveys\u00a025, 45\u201367 (1993)","journal-title":"ACM Computing Surveys"},{"key":"24_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1007\/BFb0015027","volume-title":"CONCUR \u201994: Concurrency Theory","author":"R. Segala","year":"1994","unstructured":"Segala, R., Lynch, N.: Probabilistic Simulations for Probabilistic Processes. In: Jonsson, B., Parrow, J. (eds.) CONCUR 1994. LNCS, vol.\u00a0836, p. 481. Springer, Heidelberg (1994)"},{"key":"24_CR25","first-page":"130","volume-title":"LICS 1990","author":"R. Glabbeek van","year":"1990","unstructured":"van Glabbeek, R., Smolka, S.A., Steffen, B., Tofts, C.M.N.: Reactive, Generative, and Stratified Models of Probabilistic Processes. In: LICS 1990, pp. 130\u2013141. IEEE Computer Society Press, Los Alamitos (1990)"},{"key":"24_CR26","doi-asserted-by":"crossref","unstructured":"Vardi, M.Y.: Automatic Verification of Probabilistic Concurrent Finite-State Programs. In: FOCS 1985, pp. 327\u2013338 (1985)","DOI":"10.1109\/SFCS.1985.12"}],"container-title":["Lecture Notes in Computer Science","Term Rewriting and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-32033-3_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:33:58Z","timestamp":1605760438000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-32033-3_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540255963","9783540320333"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-32033-3_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}