{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,20]],"date-time":"2025-02-20T23:59:07Z","timestamp":1740095947856,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642045691"},{"type":"electronic","value":"9783642045707"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04570-7_2","type":"book-chapter","created":{"date-parts":[[2009,11,3]],"date-time":"2009-11-03T04:51:23Z","timestamp":1257223883000},"page":"9-25","source":"Crossref","is-referenced-by-count":6,"title":["On a Uniform Framework for the Definition of Stochastic Process Languages"],"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":[{"key":"2_CR1","unstructured":"Aldini, A., Bernardo, M., Corradini, F.: A Process Algebraic Approach to Software Architecture Design. Springer, Heidelberg (to appear)"},{"key":"2_CR2","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1016\/j.tcs.2005.07.022","volume":"345","author":"C. Baier","year":"2005","unstructured":"Baier, C., Hermanns, H., Katoen, J.-P., Haverkort, B.: Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes. Theoretical Computer Science\u00a0345, 2\u201326 (2005)","journal-title":"Theoretical Computer Science"},{"issue":"1-2","key":"2_CR3","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. Theoretical Computer Science\u00a0202(1-2), 1\u201354 (1998)","journal-title":"Theoretical Computer Science"},{"key":"2_CR4","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: Kaklamanis, C., Nielson, F. (eds.) TGC 2008. LNCS, vol.\u00a05474, pp. 52\u201368. Springer, Heidelberg (2009)"},{"key":"2_CR5","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/s001650050034","volume":"11","author":"D. Hung Van","year":"1999","unstructured":"Van Hung, D., Chaochen, Z.: Probabilistic Duration Calculus for Continuous Time. Formal Aspects of Computing. The International Journal of Formal Methods\u00a011, 21\u201344 (1999)","journal-title":"Formal Aspects of Computing. The International Journal of Formal Methods"},{"key":"2_CR6","unstructured":"De Nicola, R., Katoen, J.-P., Latella, D., Loreti, M., Massink, M.: $\\textsc{Klaim}$ and its Stochastic Semantics. Technical Report\u00a06, Dipartimento di Sistemi e Informatica, Universit\u00e0 di Firenze (2006), http:\/\/rap.dsi.unifi.it\/~loreti\/papers\/TR062006.pdf"},{"key":"2_CR7","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), http:\/\/dx.doi.org\/10.1016\/j.tcs2007.05.008"},{"key":"#cr-split#-2_CR8.1","unstructured":"De Nicola, R., Latella, D., Loreti, M., Massink, M.: MarCaSPiS: a Markovian Extension of a Calculus for Services. In: Hennessy, M., Klin, B. (eds.) Proceedings of the 5th Workshop on Structural Operational Semantics (SOS 2008), Reykjavik, Iceland, July 6, pp. 6???20 (2008);"},{"key":"#cr-split#-2_CR8.2","unstructured":"Preliminary Proceedings. Final Proceedings to appear as ENTCS by Elsevier"},{"key":"2_CR9","series-title":"Lecture Notes in Computer Science","volume-title":"Automata, Languages and Programming - C","author":"R. Nicola De","year":"2009","unstructured":"De Nicola, R., Latella, D., Loreti, M., Massink, M.: Rate-based Transition Systems for Stochastic Process Calculi. In: Marchetti, A., Matias, Y. (eds.) Automata, Languages and Programming - C. LNCS. Springer, Heidelberg (2009)"},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"De Nicola, R., Latella, D., Massink, M.: Formal modeling and quantitative analysis of KLAIM-based mobile systems. In: Haddad, H., Liebrock, L., Omicini, A., Wainwright, R., Palakal, M., Wilds, M., Clausen, H. (eds.) Applied Computing 2005. Proceedings of the 20th Annual ACM Symposium on Applied Computing, pp. 428\u2013435, Association for Computing Machinery - ACM (2005), ISBN 1-58113-964-0","DOI":"10.1145\/1066677.1066777"},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"De Nicola, R., Latella, D., Moreli, M., Massink, M.: On a Uniform Framework for the Definition of Stochastic Process Languages. Full Version. Technical report, Consiglio Nazionale delle Ricerche, Istituto di Scienza e Tecnologie dell\u2019Informazione \u2019A. Faedo\u2019 (to appear, 2009)","DOI":"10.1007\/978-3-642-04570-7_2"},{"key":"2_CR12","first-page":"313","volume-title":"IEEE Symposium on Logic in Computer Science","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: IEEE Symposium on Logic in Computer Science, pp. 313\u2013325. IEEE Computer Society Press, Los Alamitos (2007)"},{"key":"2_CR13","series-title":"Lecture Notes in Computer Science","volume-title":"Performance Evaluation of Computer and Communication Systems","author":"N. Gotz","year":"1993","unstructured":"Gotz, 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.) SIGMETRICS 1993 and Performance 1993. LNCS, vol.\u00a0729. Springer, Heidelberg (1993)"},{"key":"2_CR14","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. Haverkort","year":"2001","unstructured":"Haverkort, B.: 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":"2_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1007\/3-540-45804-2_6","volume-title":"Interactive Markov Chains","author":"H. Hermanns","year":"2002","unstructured":"Hermanns, H.: Interactive Markov Chains. LNCS, vol.\u00a02428, p. 129. Springer, Berlin (2002)"},{"issue":"1-2","key":"2_CR16","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. Theoretical Computer Science\u00a0274(1-2), 43\u201387 (2002)","journal-title":"Theoretical Computer Science"},{"key":"2_CR17","doi-asserted-by":"publisher","first-page":"901","DOI":"10.1016\/S0169-7552(97)00133-5","volume":"30","author":"H. Hermanns","year":"1998","unstructured":"Hermanns, H., Herzog, U., Mertsiotakis, V.: Stochastic process algebras - between LOTOS and Markov chains. Computer Networks and ISDN Systems\u00a030, 901\u2013924 (1998)","journal-title":"Computer Networks and ISDN Systems"},{"key":"2_CR18","first-page":"718","volume-title":"2007 International Conference on Dependable Systems & Networks","author":"H. Hermanns","year":"2007","unstructured":"Hermanns, H., Johr, S.: Uniformity by Construction in the Analysis of Nondeterministic Stochastic Systems. In: 2007 International Conference on Dependable Systems & Networks, pp. 718\u2013728. IEEE Computer Society Press, Los Alamitos (2007)"},{"key":"2_CR19","volume-title":"Distinguished Dissertation in Computer Science","author":"J. Hillston","year":"1996","unstructured":"Hillston, J.: A compositional approach to performance modelling. In: Distinguished Dissertation in Computer Science. Cambridge University Press, Cambridge (1996)"},{"key":"2_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"428","DOI":"10.1007\/978-3-540-78499-9_30","volume-title":"Foundations of Software Science and Computational Structures","author":"B. Klin","year":"2008","unstructured":"Klin, B., Sassone, V.: Structural Operational Semantics for Stochastic Process Calculi. In: Amadio, R.M. (ed.) FOSSACS 2008. LNCS, vol.\u00a04962, pp. 428\u2013442. Springer, Heidelberg (2008)"},{"key":"2_CR21","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1016\/S0019-9958(69)90468-9","volume":"15","author":"R. Knast","year":"1969","unstructured":"Knast, R.: Continuous-Time Probabilistic Automata. Information and Control\u00a015, 335\u2013352 (1969)","journal-title":"Information and Control"},{"issue":"6","key":"2_CR22","first-page":"1","volume":"4","author":"L. Zhang","year":"2008","unstructured":"Zhang, L., Hermanns, H., Eisenbrand, F., Jansen, D.: Flow Faster: Efficient Decision Algorithms For Probabilistic Simulations. Logical Methods in Computer Science\u00a04(6), 1\u201343 (2008)","journal-title":"Logical Methods in Computer Science"},{"key":"2_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/978-3-540-74974-5_20","volume-title":"Service-Oriented Computing \u2013 ICSOC 2007","author":"D. Prandi","year":"2007","unstructured":"Prandi, D., Quaglia, P.: Stochastic COWS. In: Kr\u00e4mer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol.\u00a04749, pp. 245\u2013256. Springer, Heidelberg (2007)"},{"issue":"7","key":"2_CR24","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"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Industrial Critical Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04570-7_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,27]],"date-time":"2023-05-27T11:09:17Z","timestamp":1685185757000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04570-7_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642045691","9783642045707"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04570-7_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}