{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,6]],"date-time":"2026-03-06T22:42:23Z","timestamp":1772836943998,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":74,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540724827","type":"print"},{"value":"9783540725220","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-72522-0_4","type":"book-chapter","created":{"date-parts":[[2007,6,5]],"date-time":"2007-06-05T19:02:12Z","timestamp":1181070132000},"page":"132-179","source":"Crossref","is-referenced-by-count":29,"title":["Stochastic Process Algebras"],"prefix":"10.1007","author":[{"given":"Allan","family":"Clark","sequence":"first","affiliation":[]},{"given":"Stephen","family":"Gilmore","sequence":"additional","affiliation":[]},{"given":"Jane","family":"Hillston","sequence":"additional","affiliation":[]},{"given":"Mirco","family":"Tribastone","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"Herzog, U.: Formal description, time and performance analysis: A framework. Technical Report 15\/90, IMMD VII, Friedrich-Alexander-Universit\u00e4t, Erlangen-N\u00fcrnberg, Germany (September 1990)"},{"issue":"7","key":"4_CR2","doi-asserted-by":"publisher","first-page":"542","DOI":"10.1093\/comjnl\/38.7.542","volume":"38","author":"D. Holton","year":"1995","unstructured":"Holton, D.: A PEPA specification of an industrial production cell. The Computer Journal (Special Issue: Gilmore, S., Hillston, J., eds.: Proceedings of the Third International Workshop on Process Algebras and Performance Modelling)\u00a038(7), 542\u2013551 (1995)","journal-title":"The Computer Journal"},{"issue":"4","key":"4_CR3","doi-asserted-by":"publisher","first-page":"1065","DOI":"10.1080\/00207549608904950","volume":"34","author":"S. Gilmore","year":"1996","unstructured":"Gilmore, S., Hillston, J., Holton, D.R.W., Rettelbach, M.: Specifications in Stochastic Process Algebra for a Robot Control Problem. International Journal of Production Research\u00a034(4), 1065\u20131080 (1996)","journal-title":"International Journal of Production Research"},{"key":"4_CR4","unstructured":"Thomas, N., Hillston, J.: Using Markovian process algebra to specify interactions in queueing systems. Technical Report ECS-LFCS-97-373, Laboratory for Foundations of Computer Science, Department of Computer Science, The University of Edinburgh (1997)"},{"key":"4_CR5","unstructured":"Bowman, H., Bryans, J., Derrick, J.: Analysis of a multimedia stream using stochastic process algebra. In: Priami, C. (ed.) Sixth International Workshop on Process Algebras and Performance Modelling, Nice, September 1998, pp. 51\u201369 (1998), \n                  \n                    http:\/\/www.cs.ukc.ac.uk\/pubs\/1998\/611"},{"key":"4_CR6","unstructured":"Console, L., Picardi, C., Ribaudo, M.: Diagnosis and Diagnosability Analysis using PEPA. In: Proc. of 14\n                  th\n                 European Conference on Artificial Intelligence, Berlin (August 2000), A longer version appeared in the Proc. of 11th Int. Workshop on Principles of Diagnosis (DX00), Morelia, Mexico (June 2000)"},{"key":"4_CR7","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1002\/cpe.546","volume":"13","author":"J. Hillston","year":"2001","unstructured":"Hillston, J., Kloul, L.: Performance investigation of an on-line auction system. Concurrency and Computation: Practice and Experience\u00a013, 23\u201341 (2001)","journal-title":"Concurrency and Computation: Practice and Experience"},{"issue":"2-3","key":"4_CR8","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/S0166-5316(02)00101-3","volume":"50","author":"J.M. Forneau","year":"2002","unstructured":"Forneau, J.M., Kloul, L., Valois, F.: Performance modelling of hierarchical cellular networks using PEPA. Performance Evaluation\u00a050(2-3), 83\u201399 (2002)","journal-title":"Performance Evaluation"},{"key":"4_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1007\/978-3-540-40042-4_8","volume-title":"Global Computing. Programming Environments, Languages, Security, and Analysis of Systems","author":"L. Brodo","year":"2003","unstructured":"Brodo, L., Degano, P., Gilmore, S., Hillston, J., Priami, C.: Performance evaluation for global computation. In: Priami, C. (ed.) GC 2003. LNCS, vol.\u00a02874, pp. 229\u2013253. Springer, Heidelberg (2003)"},{"issue":"4","key":"4_CR10","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/j.entcs.2005.01.016","volume":"128","author":"M. Buchholtz","year":"2005","unstructured":"Buchholtz, M., Gilmore, S., Hillston, J., Nielson, F.: Securing statically-verified communications protocols against timing attacks. Electr. Notes Theor. Comput. Sci.\u00a0128(4), 123\u2013143 (2005)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"issue":"2-4","key":"4_CR11","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1023\/B:TELS.0000041018.31172.ef","volume":"27","author":"J. Hillston","year":"2004","unstructured":"Hillston, J., Kloul, L., Mokhtari, A.: Towards a feasible active networking scenario. Telecommunication Systems\u00a027(2-4), 413\u2013438 (2004)","journal-title":"Telecommunication Systems"},{"key":"4_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11777830_1","volume-title":"Formal Methods and Stochastic Models for Performance Evaluation","author":"J.-M. Fourneau","year":"2006","unstructured":"Fourneau, J.-M., Kloul, L.: A Precedence PEPA Model for Performance and Reliability Analysis. In: Horv\u00e1th, A., Telek, M. (eds.) EPEW 2006. LNCS, vol.\u00a04054, pp. 1\u201315. Springer, Heidelberg (2006)"},{"key":"4_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/11867340_12","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"A. Duguid","year":"2006","unstructured":"Duguid, A.: Coping with the Parallelism of BitTorrent: Conversion of PEPA to ODEs in Dealing with State Space Explosion. In: Asarin, E., Bouyer, P. (eds.) FORMATS 2006. LNCS, vol.\u00a04202, pp. 156\u2013170. Springer, Heidelberg (2006)"},{"key":"4_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/11841197_14","volume-title":"Web Services and Formal Methods","author":"S. Gilmore","year":"2006","unstructured":"Gilmore, S., Tribastone, M.: Evaluating the Scalability of a Web Service-Based Distributed e-Learning and Course Management System. In: Bravetti, M., N\u00fa\u00f1ez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol.\u00a04184, pp. 214\u2013226. Springer, Heidelberg (2006)"},{"key":"4_CR15","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1145\/1163610.1163624","volume-title":"PE-WASUN \u201906: Proceedings of the 3rd ACM international workshop on Performance evaluation of wireless ad hoc, sensor and ubiquitous networks","author":"T. Razafindralambo","year":"2006","unstructured":"Razafindralambo, T., Valois, F.: Performance evaluation of backoff algorithms in 802.11 ad-hoc networks. In: PE-WASUN \u201906: Proceedings of the 3rd ACM international workshop on Performance evaluation of wireless ad hoc, sensor and ubiquitous networks, Terromolinos, Spain, pp. 82\u201389. ACM Press, New York (2006)"},{"key":"4_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/PIMRC.2006.254285","volume-title":"Proceedings of the 17th Annual IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC\u201906)","author":"T. Razafindralambo","year":"2006","unstructured":"Razafindralambo, T., Valois, F.: Stochastic behavior study of backoff algorithms in case of hidden terminals. In: Proceedings of the 17th Annual IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC\u201906), Helsinki, Finland, pp. 1\u20136. IEEE Computer Society Press, Los Alamitos (2006)"},{"key":"4_CR17","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)"},{"key":"4_CR18","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)"},{"key":"4_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"526","DOI":"10.1007\/BFb0032006","volume-title":"Real-Time: Theory in Practice","author":"X. Nicollin","year":"1992","unstructured":"Nicollin, X., Sifakis, J.: An Overview and Synthesis on Timed Process Algebras. In: Huizing, C., de Bakker, J.W., Rozenberg, G., de Roever, W.-P. (eds.) Real-Time: Theory in Practice. LNCS, vol.\u00a0600, pp. 526\u2013548. Springer, Heidelberg (1992)"},{"key":"4_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1007\/BFb0039073","volume-title":"CONCUR \u201990","author":"F. Moller","year":"1990","unstructured":"Moller, F., Tofts, C.: A Temporal Calculus for Communicating Systems. In: Baeten, J.C.M., Klop, J.W. (eds.) CONCUR 1990. LNCS, vol.\u00a0458, pp. 401\u2013415. Springer, Heidelberg (1990)"},{"key":"4_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1007\/BFb0039071","volume-title":"CONCUR \u201990","author":"C.-C. Jou","year":"1990","unstructured":"Jou, C.-C., Smolka, S.A.: Equivalences, Congruences and Complete Axiomatizations of Probabilistic Processes. In: Baeten, J.C.M., Klop, J.W. (eds.) CONCUR 1990. LNCS, vol.\u00a0458, pp. 367\u2013383. Springer, Heidelberg (1990)"},{"key":"4_CR22","unstructured":"Edinburgh Concurrency Workbench. \n                  \n                    http:\/\/homepages.inf.ed.ac.uk\/perdita\/cwb\/"},{"key":"4_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1007\/3-540-10003-2_79","volume-title":"Automata, Languages and Programming","author":"M. Hennessy","year":"1980","unstructured":"Hennessy, M., Milner, R.: On observing nondeterminism and concurrency. In: de Bakker, J.W., van Leeuwen, J. (eds.) Automata, Languages and Programming. LNCS, vol.\u00a085, pp. 299\u2013309. Springer, Heidelberg (1980)"},{"issue":"3","key":"4_CR24","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1016\/0304-3975(82)90125-6","volume":"27","author":"D. Kozen","year":"1983","unstructured":"Kozen, D.: Results on the propositional \u03bc-calculus. Theoretical Computer Science\u00a027(3), 333\u2013354 (1983)","journal-title":"Theoretical Computer Science"},{"key":"4_CR25","unstructured":"G\u00f6tz, N., Herzog, U., Rettelbach, M.: TIPP\u2014a language for timed processes and performance evaluation. Technical Report 4\/92, IMMD7, University of Erlangen-N\u00fcrnberg, Germany (November 1992)"},{"key":"4_CR26","unstructured":"Bernardo, M., Gorrieri, R., Donatiello, L.: MPA: A Stochastic Process Algebra. Technical Report UBLCS-94-10, Laboratory of Computer Science, University of Bologna (May 1994)"},{"key":"4_CR27","doi-asserted-by":"crossref","unstructured":"Bernardo, M., Gorrieri, R.: A Tutorial on EMPA: A Theory of Concurrent Processes with Nondeterminism, Priorities, Probabilities and Time. Theoretical Computer Science, to appear (1998)","DOI":"10.1016\/S0304-3975(97)00127-8"},{"key":"4_CR28","unstructured":"Hillston, J.: PEPA - Performance Enhanced Process Algebra. Technical report, Dept. of Computer Science, University of Edinburgh (March 1993)"},{"key":"4_CR29","unstructured":"Hillston, J.: A Compositional Approach to Performance Modelling. PhD thesis, CST-107-94, Department of Computer Science, University of Edinburgh (April 1994)"},{"key":"4_CR30","unstructured":"Strulo, B.: Process Algebra for Discrete Event Simulation. PhD thesis, Imperial College (1993)"},{"key":"4_CR31","doi-asserted-by":"crossref","unstructured":"Priami, C.: Stochastic \u03c0-Calculus. The Computer Journal\u00a038(6) (1995)","DOI":"10.1093\/comjnl\/38.7.578"},{"key":"4_CR32","series-title":"Lecture Notes in Computer Science","volume-title":"Interactive Markov Chains","author":"H. Hermanns","year":"2002","unstructured":"Hermanns, H.: Interactive Markov Chains. LNCS, vol.\u00a02428. Springer, Heidelberg (2002)"},{"key":"4_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/3-540-44804-7_6","volume-title":"Process Algebra and Probabilistic Methods. Performance Modelling and Verification","author":"P.R. D\u2019Argenio","year":"2001","unstructured":"D\u2019Argenio, P.R., Hermanns, H., Katoen, J.-P., Klaren, R.: MoDeST - A Modelling and Description Language for Stochastic Timed Systems. In: de Luca, L., Gilmore, S. (eds.) PROBMIV 2001, PAPM-PROBMIV 2001, and PAPM 2001. LNCS, vol.\u00a02165, pp. 87\u2013104. Springer, Heidelberg (2001)"},{"issue":"1","key":"4_CR34","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/S0304-3975(01)00043-3","volume":"282","author":"M. Bravetti","year":"2002","unstructured":"Bravetti, M., Gorrieri, R.: The theory of Interactive Generalized Semi-Markov Processes. Theoretical Computer Science\u00a0282(1), 5\u201332 (2002)","journal-title":"Theoretical Computer Science"},{"key":"4_CR35","unstructured":"Bravetti, M., Bernardo, M., Gorrieri, R.: From EMPA to GSMPA: Allowing for general distributions. In: Brinksma, E., Nymeyer, A. (eds.) Proc. of the 5th Int. Workshop on Process Algebras and Performance Modeling (PAPM \u201997), pp. 17\u201333 (1997)"},{"key":"4_CR36","doi-asserted-by":"crossref","unstructured":"Rettelbach, M.: Probabilistic Branching in Markovian Process Algebras. The Computer Journal (Special Issue: Proc. of 3rd Process Algebra and Performance Modelling Workshop)\u00a038(6) (1995)","DOI":"10.1093\/comjnl\/38.7.590"},{"key":"4_CR37","doi-asserted-by":"crossref","unstructured":"Hermanns, H., Rettelbach, M., Wei\u00df, T.: Formal Characterisation of Immediate Actions in SPA with Nondeterministic Branching. The Computer Journal (Special Issue: Proc. of 3rd Workshop on Process Algebras and Performance Modelling)\u00a038(6) (1995)","DOI":"10.1093\/comjnl\/38.7.530"},{"key":"4_CR38","unstructured":"Hillston, J.: The nature of synchronisation. In: Herzog, U., Rettelbach, M. (eds.) Proceedings of the Second International Workshop on Process Algebras and Performance Modelling, Erlangen, November 1994, pp. 51\u201370 (1994)"},{"key":"4_CR39","unstructured":"Ribaudo, M.: Understanding Stochastic Process Algebras via their Stochastic Petri Net Semantics. In: Herzog, U., Rettelbach, M. (eds.) Proc. of 2nd Process Algebra and Performance Modelling Workshop (1994)"},{"key":"4_CR40","unstructured":"Bradley, J.: Towards Reliable Modelling with Stochastic Process Algebras. PhD thesis, Department of Computer Science, University of Bristol (1999)"},{"key":"4_CR41","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511569951","volume-title":"A Compositional Approach to Performance Modelling","author":"J. Hillston","year":"1996","unstructured":"Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge University Press, Cambridge (1996)"},{"key":"4_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/3-540-46429-8_18","volume-title":"Computer Performance Evaluation. Modelling Techniques and Tools","author":"G. Clark","year":"2000","unstructured":"Clark, G., Gilmore, S., Hillston, J., Ribaudo, M.: Exploiting Modal Logic to Express Performance Measures. In: Haverkort, B.R., Bohnenkamp, H.C., Smith, C.U. (eds.) TOOLS 2000. LNCS, vol.\u00a01786, pp. 211\u2013227. Springer, Heidelberg (2000)"},{"key":"4_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/BFb0057845","volume-title":"Euro-Par\u201998 Parallel Processing","author":"E.W. Dempster","year":"1998","unstructured":"Dempster, E.W., Tomov, N.T., L\u00fc, J., Pua, C.S., Williams, M.H., Burger, A., Taylor, H., Broughton, P.: Verifying a Performance Estimator for Parallel DBMSs. In: Pritchard, D., Reeve, J.S. (eds.) Euro-Par 1998. LNCS, vol.\u00a01470, p. 126. Springer, Heidelberg (1998)"},{"key":"4_CR44","unstructured":"Bouzeghoub, M., Kloul, L., Mokhtari, A.: A new active network framework based on active rules. Technical Report 2002\/21, PRiSM, Universit\u00e9 de Versailles (2002)"},{"key":"4_CR45","unstructured":"Hillston, J., Kloul, L., Mokhtari, A.: Active nodes performance analysis using PEPA. In: Jarvis, S. (ed.) Proceedings of the Ninteenth UK Performance Engineering Workshop, University of Warwick, July 2003, pp. 244\u2013256 (2003)"},{"issue":"2-4","key":"4_CR46","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1023\/B:TELS.0000041018.31172.ef","volume":"27","author":"J. Hillston","year":"2004","unstructured":"Hillston, J., Kloul, L., Mokhtari, A.: Towards a feasible active networking scenario. Telecommunication Systems\u00a027(2-4), 413\u2013438 (2004)","journal-title":"Telecommunication Systems"},{"issue":"5","key":"4_CR47","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1109\/32.922715","volume":"27","author":"S. Gilmore","year":"2001","unstructured":"Gilmore, S., Hillston, J., Ribaudo, M.: An efficient algorithm for aggregating PEPA models. IEEE Transactions on Software Engineering\u00a027(5), 449\u2013464 (2001)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"4_CR48","unstructured":"Console, L., Picardi, C., Ribaudo, M.: Diagnosis and Diagnosability Analysis using Process Algebras. In: Proc. of 11th Int. Workshop on Principles of Diagnosis (DX00), Morelia, Mexico (June 2000)"},{"key":"4_CR49","unstructured":"Eclipse.org home, \n                  \n                    http:\/\/www.eclipse.org"},{"key":"4_CR50","unstructured":"Eclipse Modeling Framework, \n                  \n                    http:\/\/www.eclipse.org\/home"},{"key":"4_CR51","unstructured":"Matrix Toolkit for Java, \n                  \n                    http:\/\/rs.cipr.uib.no\/mtj\/"},{"key":"4_CR52","doi-asserted-by":"publisher","first-page":"344","DOI":"10.1109\/MASCOT.2003.1240679","volume-title":"Proceedings of the 11th IEEE\/ACM International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunications Systems","author":"J.T. Bradley","year":"2003","unstructured":"Bradley, J.T., Dingle, N.J., Gilmore, S.T., Knottenbelt, W.J.: Derivation of passage-time densities in PEPA models using IPC: The Imperial PEPA Compiler. In: Kotsis, G. (ed.) Proceedings of the 11th IEEE\/ACM International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunications Systems, University of Central Florida, Oct. 2003, pp. 344\u2013351. IEEE Computer Society Press, Los Alamitos (2003)"},{"key":"4_CR53","unstructured":"Knottenbelt, W.: Generalised Markovian analysis of timed transition systems. Master\u2019s thesis, University of Cape Town (1996)"},{"key":"4_CR54","unstructured":"Bradley, J., Dingle, N., Gilmore, S., Knottenbelt, W.: Extracting passage times from PEPA models with the HYDRA tool: A case study. In: Jarvis, S. (ed.) Proceedings of the Ninteenth UK Performance Engineering Workshop, University of Warwick, July 2003, pp. 79\u201390 (2003)"},{"key":"4_CR55","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1145\/974044.974051","volume-title":"Proceedings of the Fourth International Workshop on Software and Performance","author":"A. Argent-Katwala","year":"2004","unstructured":"Argent-Katwala, A., Bradley, J.T., Dingle, N.J.: Expressing performance requirements using regular expressions to specify stochastic probes over process algebra models. In: Proceedings of the Fourth International Workshop on Software and Performance, Redwood Shores, California, USA, Jan. 2004, pp. 49\u201358. ACM Press, New York (2004)"},{"key":"4_CR56","unstructured":"PRISM, \n                  \n                    http:\/\/www.cs.bham.ac.uk\/~dxp\/prism\/index.php"},{"key":"4_CR57","unstructured":"Hermanns, H., Meyer-Kayser, J., Siegle, M.: Multi-terminal binary decision diagrams to represent and analyse continuous time markov chains. In: Proc. of 3rd Intl. Workshop on the Numerical Solution of Markov Chains, pp. 188\u2013207 (1999)"},{"key":"4_CR58","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/978-3-540-39878-3_15","volume-title":"Computer Safety, Reliability, and Security","author":"S. Gilmore","year":"2003","unstructured":"Gilmore, S., Kloul, L.: A Unified Tool for Performance Modelling and Prediction. In: Anderson, S., Felici, M., Littlewood, B. (eds.) SAFECOMP 2003. LNCS, vol.\u00a02788, pp. 179\u2013192. Springer, Heidelberg (2003)"},{"key":"4_CR59","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1145\/974044.974047","volume-title":"Proceedings of the Fourth International Workshop on Software and Performance","author":"S. Gilmore","year":"2004","unstructured":"Gilmore, S., Hillston, J., Kloul, L., Ribaudo, M.: Software performance modelling using PEPA nets. In: Proceedings of the Fourth International Workshop on Software and Performance, Redwood Shores, California, USA, Jan. 2004, pp. 13\u201324. ACM Press, New York (2004)"},{"key":"4_CR60","doi-asserted-by":"crossref","unstructured":"Clark, G., Courtney, T., Daly, D., Deavours, D., Derisavi, S., Doyle, J.M., Sanders, W.H., Webster, P.: The M\u00f6bius modeling tool. In: Proc. of 9th Int. Workshop on Petri Nets and Performance Models, Aachen, Germany, Sep. 2001, pp. 241\u2013250 (2001)","DOI":"10.1109\/PNPM.2001.953373"},{"key":"4_CR61","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/3-540-44804-7_13","volume-title":"Process Algebra and Probabilistic Methods. Performance Modelling and Verification","author":"G. Clark","year":"2001","unstructured":"Clark, G., Sanders, W.H.: Implementing a Stochastic Process Algebra within the M\u00f6bius Modeling Framework. In: de Luca, L., Gilmore, S. (eds.) PROBMIV 2001, PAPM-PROBMIV 2001, and PAPM 2001. LNCS, vol.\u00a02165, pp. 200\u2013215. Springer, Heidelberg (2001)"},{"key":"4_CR62","unstructured":"TwoTowers 5.1. \n                  \n                    http:\/\/www.sti.uniurb.it\/bernardo\/twotowers\/"},{"key":"4_CR63","volume-title":"Proc. of the 11th UK Performance Engineering Workshop for Computer and Telecommunication Systems","author":"H. Hermanns","year":"1995","unstructured":"Hermanns, H., Mertsiotakis, V.: A Stochastic Process Algebra Based Modelling Tool. In: Proc. of the 11th UK Performance Engineering Workshop for Computer and Telecommunication Systems, Springer, Heidelberg (1995)"},{"key":"4_CR64","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/3-540-68061-6_5","volume-title":"Computer Performance Evaluation","author":"H. Hermanns","year":"1998","unstructured":"Hermanns, H., Herzog, U., Klehmet, U., Mertsiotakis, V., Siegle, M.: Compositional Performance Modelling with the TIPPtool. In: Puigjaner, R., Savino, N.N., Serra, B. (eds.) TOOLS 1998. LNCS, vol.\u00a01469, p. 51. Springer, Heidelberg (1998)"},{"key":"4_CR65","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"394","DOI":"10.1007\/3-540-61474-5_87","volume-title":"Computer Aided Verification","author":"W.R. Cleaveland","year":"1996","unstructured":"Cleaveland, W.R., Sims, S.T.: The NCSU Concurrency Workbench. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol.\u00a01102, pp. 394\u2013397. Springer, Heidelberg (1996)"},{"key":"4_CR66","volume-title":"Introduction to the Numerical Solution of Markov Chains","author":"W.J. Stewart","year":"1994","unstructured":"Stewart, W.J.: Introduction to the Numerical Solution of Markov Chains. Princeton University Press, Princeton (1994)"},{"key":"4_CR67","volume-title":"Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN\u201903)","author":"H. Bohnenkamp","year":"2003","unstructured":"Bohnenkamp, H., Courtney, T., Daly, D., Derisavi, S., Hermanns, H., Katoen, J.-P., Klaren, R., Lamb, V., Sanders, W.H.: On integrating the M\u00f6bius and Modest modeling tools. In: Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN\u201903), IEEE Computer Society Press, Los Alamitos (2003)"},{"key":"4_CR68","unstructured":"Garavel, H., Lang, F., Mateescu, R.: An overview of CADP 2001. Technical Report RT-254, INRIA (2001)"},{"key":"4_CR69","unstructured":"Clark, G.: An Extended Weak Isomorphism for Model Simplification. In: Brinksma, E., Nymeyer, A. (eds.) Proc. of 5th Process Algebra and Performance Modelling Workshop (1997)"},{"key":"4_CR70","unstructured":"Mertsiotakis, V.: Approximate Analysis Methods for Stochastic Process Algebras. PhD thesis, Universit\u00e4t Erlangen\u2013N\u00fcrnberg, Erlangen (September 1998)"},{"key":"4_CR71","unstructured":"Hermanns, H., Rettelbach, M.L.: Syntax, Semantics, Equivalences and Axioms for MTIPP. In: Herzog, U., Rettelbach, M. (eds.) Proc. of 2nd Process Algebra and Performance Modelling Workshop (1994)"},{"key":"4_CR72","doi-asserted-by":"crossref","unstructured":"Bernardo, M.: Behavioural equivalences and model manipulations. In: Bernardo, M., Hillston, J., (eds.) Formal Methods for Performance Evaluation. LNCS. Springer (2007)","DOI":"10.1007\/978-3-540-72522-0"},{"key":"4_CR73","first-page":"33","volume-title":"Proceedings of the Second International Conference on the Quantitative Evaluation of Systems","author":"J. Hillston","year":"2005","unstructured":"Hillston, J.: Fluid flow approximation of PEPA models. In: Proceedings of the Second International Conference on the Quantitative Evaluation of Systems, Torino, Italy, Sep. 2005, pp. 33\u201343. IEEE Computer Society Press, Los Alamitos (2005)"},{"key":"4_CR74","unstructured":"Jarvis, S. (ed.): Proceedings of the Ninteenth UK Performance Engineering Workshop, University of Warwick (July 2003)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Performance Evaluation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-72522-0_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:34:21Z","timestamp":1605764061000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72522-0_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540724827","9783540725220"],"references-count":74,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72522-0_4","relation":{},"subject":[]}}