{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:52:09Z","timestamp":1762458729153,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642029295"},{"type":"electronic","value":"9783642029301"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-02930-1_36","type":"book-chapter","created":{"date-parts":[[2009,7,2]],"date-time":"2009-07-02T11:05:04Z","timestamp":1246532704000},"page":"435-446","source":"Crossref","is-referenced-by-count":20,"title":["Rate-Based Transition Systems for Stochastic Process Calculi"],"prefix":"10.1007","author":[{"given":"Rocco","family":"De Nicola","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Diego","family":"Latella","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michele","family":"Loreti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mieke","family":"Massink","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"6","key":"36_CR1","doi-asserted-by":"publisher","first-page":"524","DOI":"10.1109\/TSE.2003.1205180","volume":"29","author":"C. Baier","year":"2003","unstructured":"Baier, C., Haverkort, B., Hermanns, H., Katoen, J.-P.: Model-Checking Algorithms for Continuous-Time Markov Chains. IEEE Transactions on Software Engineering\u00a029(6), 524\u2013541 (2003)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"1-2","key":"36_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. Theoret. Comput. Sci.\u00a0202(1-2), 1\u201354 (1998)","journal-title":"Theoret. Comput. Sci."},{"key":"36_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1007\/978-3-642-00945-7_4","volume-title":"TGC 2008","author":"M. Bravetti","year":"2009","unstructured":"Bravetti, M., Latella, D., Loreti, M., Massink, M., Zavattaro, G.: Combining timed coordination primitives and probabilistic tuple spaces. In: TGC 2008. LNCS, vol.\u00a05474, pp. 52\u201368. Springer, Heidelberg (2009)"},{"key":"36_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/3-540-44667-2_5","volume-title":"Lectures on Formal Methods and Performance Analysis","author":"E. Brinksma","year":"2001","unstructured":"Brinksma, E., Hermanns, H.: Process Algebra and Markov Chains. In: Brinksma, E., Hermanns, H., Katoen, J.-P. (eds.) EEF School 2000 and FMPA 2000. LNCS, vol.\u00a02090, pp. 183\u2013231. Springer, Heidelberg (2001)"},{"issue":"1","key":"36_CR5","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1016\/j.tcs.2007.05.008","volume":"382","author":"R. Nicola De","year":"2007","unstructured":"De Nicola, R., Katoen, J.-P., Latella, D., Loreti, M., Massink, M.: Model checking mobile stochastic logic. Theoretical Computer Science\u00a0382(1), 42\u201370 (2007)","journal-title":"Theoretical Computer Science"},{"unstructured":"De Nicola, R., Latella, D., Loreti, M., Massink, M.: Rate-based Transition Systems for Stochastic Process Calculi, http:\/\/www.dsi.unifi.it\/~loreti\/","key":"36_CR6"},{"key":"36_CR7","first-page":"313","volume-title":"Proceedings of LICS 2007","author":"Y. Deng","year":"2007","unstructured":"Deng, Y., van Glabbeek, R., Hennessy, M., Morgan, C., Zhang, C.: Characterising testing preorders for finite probabilistic processes. In: Proceedings of LICS 2007, pp. 313\u2013325. IEEE Computer Society, Los Alamitos (2007)"},{"key":"36_CR8","series-title":"Lecture Notes in Computer Science","volume-title":"Performance Evaluation of Computer and Communication Systems","author":"N. Glotz","year":"1993","unstructured":"Glotz, N., Herzog, U., Rettelbach, M.: Multiprocessor and distributed systems design: The integration of functional specification and performance analysis using stochastic process algebras. In: Donatiello, L., Nelson, R. (eds.) PECCS 1993. LNCS, vol.\u00a0729. Springer, Heidelberg (1993)"},{"key":"36_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/3-540-44667-2_2","volume-title":"Lectures on Formal Methods and Performance Analysis","author":"B.R. Haverkort","year":"2001","unstructured":"Haverkort, B.R.: Markovian Models for Performance and Dependability Evaluation. In: Brinksma, E., Hermanns, H., Katoen, J.-P. (eds.) EEF School 2000 and FMPA 2000. LNCS, vol.\u00a02090, pp. 38\u201383. Springer, Heidelberg (2001)"},{"key":"36_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/3-540-45804-2_4","volume-title":"Interactive Markov Chains","author":"H. Hermanns","year":"2002","unstructured":"Hermanns, H.: Interactive Markov Chains. In: Hermanns, H. (ed.) Interactive Markov Chains. LNCS, vol.\u00a02428, pp. 57\u201388. Springer, Heidelberg (2002)"},{"issue":"1-2","key":"36_CR11","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/S0304-3975(00)00305-4","volume":"274","author":"H. Hermanns","year":"2002","unstructured":"Hermanns, H., Herzog, U., Katoen, J.-P.: Process algebra for performance evaluation. Theoret. Comput. Sci.\u00a0274(1-2), 43\u201387 (2002)","journal-title":"Theoret. Comput. Sci."},{"key":"36_CR12","first-page":"718","volume-title":"DSN 2007","author":"H. Hermanns","year":"2007","unstructured":"Hermanns, H., Johr, S.: Uniformity by Construction in the Analysis of Nondeterministic Stochastic Systems. In: DSN 2007, pp. 718\u2013728. IEEE Computer Society Press, Los Alamitos (2007)"},{"key":"36_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1007\/3-540-48778-6_15","volume-title":"Formal Methods for Real-Time and Probabilistic Systems","author":"H. Hermanns","year":"1999","unstructured":"Hermanns, H., Siegle, M.: Bisimulation algorithms for stochastic process algebras and their BDD-based implementation. In: Katoen, J.-P. (ed.) AMAST-ARTS 1999, ARTS 1999, and AMAST-WS 1999. LNCS, vol.\u00a01601, pp. 244\u2013264. Springer, Heidelberg (1999)"},{"doi-asserted-by":"crossref","unstructured":"Hillston, J.: A compositional approach to performance modelling. Distinguished Dissertation in Computer Science, Cambridge University Press, Cambridge (1996)","key":"36_CR14","DOI":"10.1017\/CBO9780511569951"},{"key":"36_CR15","first-page":"239","volume-title":"IEEE Symposium on Logic in Computer Science","author":"J. Hillston","year":"2005","unstructured":"Hillston, J.: Process algebras for quantitative analysis. In: IEEE Symposium on Logic in Computer Science, pp. 239\u2013248. IEEE Computer Society Press, Los Alamitos (2005)"},{"key":"36_CR16","volume-title":"Communicating Sequential Processes","author":"C. Hoare","year":"1985","unstructured":"Hoare, C.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)"},{"key":"36_CR17","volume-title":"Finite Markov Chains","author":"J. Kemeny","year":"1976","unstructured":"Kemeny, J., Snell, J.: Finite Markov Chains. Springer, Heidelberg (1976)"},{"key":"36_CR18","series-title":"Lecture Notes in Computer Science","volume-title":"Trusted Computing - Challenges and Applications","author":"B. Klin","year":"2008","unstructured":"Klin, B., Sassone, V.: Structural operational semantics for stochastic process calculi. In: Lipp, P., Sadeghi, A.-R., Koch, K.-M. (eds.) Trust 2008. LNCS, vol.\u00a04968. Springer, Heidelberg (2008)"},{"key":"36_CR19","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)"},{"issue":"1","key":"36_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, J.: A Calculus of Mobile Processes, I and II. Information and Computation\u00a0100(1), 1\u201377 (1992)","journal-title":"Information and Computation"},{"key":"36_CR21","series-title":"ENTCS","volume-title":"Proc. of SOS 2008","author":"R.D. Nicola","year":"2008","unstructured":"Nicola, R.D., Latella, D., Loreti, M., Massink, M.: MarCaSPiS: a markovian extension of a calculus for services. In: Proc. of SOS 2008. ENTCS, Elsevier, Amsterdam (2008)"},{"issue":"7","key":"36_CR22","doi-asserted-by":"publisher","first-page":"578","DOI":"10.1093\/comjnl\/38.7.578","volume":"38","author":"C. Priami","year":"1995","unstructured":"Priami, C.: Stochastic \u03c0-Calculus. The Computer Journal\u00a038(7), 578\u2013589 (1995)","journal-title":"The Computer Journal"},{"doi-asserted-by":"crossref","unstructured":"Puterman, M.: Markov Decision Processes (1994)","key":"36_CR23","DOI":"10.1002\/9780470316887"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02930-1_36","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T01:49:28Z","timestamp":1558403368000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02930-1_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642029295","9783642029301"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02930-1_36","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}