{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:18:59Z","timestamp":1725488339769},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540649496"},{"type":"electronic","value":"9783540680611"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-68061-6_5","type":"book-chapter","created":{"date-parts":[[2007,8,7]],"date-time":"2007-08-07T02:02:15Z","timestamp":1186452135000},"page":"51-62","source":"Crossref","is-referenced-by-count":6,"title":["Compositional Performance Modelling with the TIPPtool"],"prefix":"10.1007","author":[{"given":"H.","family":"Hermanns","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"U.","family":"Herzog","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"U.","family":"Klehmet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"V.","family":"Mertsiotakis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Siegle","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2000,3,16]]},"reference":[{"key":"5_CR1","unstructured":"Workshops on Process Algebras and Performance Modelling, 1993 Edinburgh, 1994 Erlangen, 1995 Edinburgh, 1996 Torino, 1997 Twente, 1998 Nice."},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"M. Ajmone Marsan, G. Balbo, and G. Conte. Performance Models of Multiprocessor Systems. MIT Press, 1986.","DOI":"10.1007\/978-94-009-5408-3_2"},{"key":"5_CR3","series-title":"Lect Notes Comput Sci","volume-title":"Proc. CAV\u201996","author":"C. Baier","year":"1996","unstructured":"C. Baier. Polynomial time algorithms for testing probabilistic bisimulation and simulation. In Proc. CAV\u201996. LNCS 1102, 1996."},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"M. Bernardo and R. Gorrieri. Extended Markovian Process Algebra. In CONCUR\u2019 96.","DOI":"10.1007\/3-540-61604-7_63"},{"key":"5_CR5","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/0169-7552(87)90085-7","volume":"14","author":"T. Bolognesi","year":"1987","unstructured":"T. Bolognesi and E. Brinksma. Introduction to the ISO specification language LOTOS. Computer Networks and ISDN Systems, 14:25\u201359, 1987.","journal-title":"Computer Networks and ISDN Systems"},{"issue":"1\/2","key":"5_CR6","doi-asserted-by":"crossref","first-page":"166","DOI":"10.1007\/s100090050012","volume":"1","author":"M. Bozga","year":"1997","unstructured":"M. Bozga, J.-C. Fernandez, A. Kerbrat, and L. Mounier. Protocol verification with the ALDEBARAN toolset. Int. J. Softw. Tools for Techn. Transf., 1(1\/2):166\u2013184, 1997.","journal-title":"Int. J. Softw. Tools for Techn. Transf."},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"G. Chehaibar, H. Garavel, L. Mounier, N. Tawbi, and F. Zulian. Specification and Verification of the Powerscale Bus Arbitration Protocol: An Industrial Experiment with LOTOS. In Formal Description Techniques IX. Chapmann Hall, 1996.","DOI":"10.1007\/978-0-387-35079-0_28"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"P.R. D\u2019Argenio, J-P. Katoen, and E. Brinksma. An algebraic approach to the specification of stochastic systems. In Programming Concepts and Methods. Chapman and Hall, 1998.","DOI":"10.1007\/978-0-387-35358-6_12"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"S. Gilmore and J. Hillston. The PEPA Workbench: A Tool to Support a Process Algebra-Based Approach to Performance Modelling. In 7th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation, Wien, 1994.","DOI":"10.1007\/3-540-58021-2_20"},{"key":"5_CR10","unstructured":"N. G\u00f6tz. Stochastische Proze\u00dfalgebren \u2014 Integration von funktionalem Entwurf und Leistungsbewertung Verteilter Systeme. PhD thesis, Universit\u00e4t Erlangen-N\u00fcrnberg, April 1994."},{"key":"5_CR11","series-title":"Lect Notes Comput Sci","volume-title":"Tutorial Proc. of PERFORMANCE\u2019 93","author":"N. G\u00f6tz","year":"1993","unstructured":"N. G\u00f6tz, U. Herzog, and M. Rettelbach. Multiprocessor and distributed system design: The integration of functional specification and performance analysis using stochastic process algebras. In Tutorial Proc. of PERFORMANCE\u2019 93. LNCS 729."},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"F. Hartleb and A. Quick. Performance Evaluation of Parallel Programms \u2014 Modeling and Monitoring with the Tool PEPP. In Proc. \u201cMessung, Modellierung und Bewertung von Rechen-und Kommunikationssystemen\u201d, p. 51\u201363. Informatik Aktuell, Springer, 1993.","DOI":"10.1007\/978-3-642-78495-8_5"},{"key":"5_CR13","unstructured":"H. Hermanns. InteractiveMarkov Chains. PhD thesis, Universit\u00e4t Erlangen-N\u00fcrnberg, 1998."},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"H. Hermanns, U. Herzog, and V. Mertsiotakis. Stochastic Process Algebras as a Tool for Performance and Dependability Modelling. In Proc. of IEEE Int. Computer Performance and Dependability Symposium, p. 102\u2013111, 1995. IEEE Computer Society Press.","DOI":"10.1109\/IPDS.1995.395813"},{"issue":"9\u201310","key":"5_CR15","doi-asserted-by":"publisher","first-page":"901","DOI":"10.1016\/S0169-7552(97)00133-5","volume":"30","author":"H. Hermanns","year":"1998","unstructured":"H. Hermanns, U. Herzog, and V. Mertsiotakis. Stochastic Process Algebras \u2014 Between LOTOS and Markov Chains. Computer Networks and ISDN Systems, 30(9\u201310):901\u2013924, 1998.","journal-title":"Computer Networks and ISDN Systems"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"H. Hermanns, M. Rettelbach, and T. Wei\u00df. Formal characterisation of immediate actions in SPA with nondeterministic branching. In The Computer Journal [1], 1995.","DOI":"10.1093\/comjnl\/38.7.530"},{"key":"5_CR17","volume-title":"Entwurf und Betrieb Verteilter Systeme","author":"U. Herzog","year":"1990","unstructured":"U. Herzog. Formal Description, Time and Performance Analysis. A Framework. In Entwurf und Betrieb Verteilter Systeme. Springer, Berlin, IFB 264, 1990."},{"key":"5_CR18","unstructured":"U. Herzog. A Concept for Graph-Based Stochastic Process Algebras, Generally Distributed Activity Times and Hierarchical Modelling. [1], 1996."},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"J. Hillston. A Compositional Approach to Performance Modelling. Cambridge University Press, 1996.","DOI":"10.1017\/CBO9780511569951"},{"key":"5_CR20","doi-asserted-by":"crossref","unstructured":"C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"5_CR21","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/0890-5401(90)90025-D","volume":"86","author":"P. Kanellakis","year":"1990","unstructured":"P. Kanellakis and S. Smolka. CCS Expressions, Finite State Processes, and Three Problems of Equivalence. Information and Computation, 86:43\u201368, 1990.","journal-title":"Information and Computation"},{"key":"5_CR22","unstructured":"J.P. Katoen, D. Latella, R. Langerak, and E. Brinksma. Partial Order Models for Quantitative Extensions of LOTOS. Computer Networks and ISDN Systems, 1998. to appear."},{"key":"5_CR23","unstructured":"J.G. Kemeny and J.L. Snell. Finite Markov Chains. Springer, 1976."},{"key":"5_CR24","doi-asserted-by":"crossref","unstructured":"J.A. Manas, T. de Miguel, and J. Salvachua. Tool Support to Implement LOTOS Specifications. Computer Networks and ISDN Systems, 25(7), 1993.","DOI":"10.1016\/0169-7552(93)90050-E"},{"key":"5_CR25","unstructured":"V. Mertsiotakis. Approximate AnalysisMethods for Stochastic Process Algebras. PhD thesis, Universit\u00e4t Erlangen-N\u00fcrnberg, 1998. to appear."},{"key":"5_CR26","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"R. Milner. Communication and Concurrency. Prentice Hall, London, 1989."},{"issue":"6","key":"5_CR27","doi-asserted-by":"publisher","first-page":"973","DOI":"10.1137\/0216062","volume":"16","author":"R. Paige","year":"1987","unstructured":"R. Paige and R. Tarjan. Three Partition Refinement Algorithms. SIAM Journal of Computing, 16(6):973\u2013989, 1987.","journal-title":"SIAM Journal of Computing"},{"key":"5_CR28","doi-asserted-by":"crossref","unstructured":"C. Priami. Stochastic \u03c0-calculus. [1], 1995.","DOI":"10.1093\/comjnl\/38.7.578"},{"key":"5_CR29","unstructured":"M. Rettelbach. Stochastische Proze\u00dfalgebrenmit zeitlosen Aktivit\u00e4ten und probabilistischen Verzweigungen. PhD thesis, Universit\u00e4t Erlangen-N\u00fcrnberg, 1996."},{"key":"5_CR30","unstructured":"M. Siegle. Technique and tool for symbolic representation and manipulation of stochastic transition systems. TR IMMD 7 2\/98, Universit\u00e4t Erlangen-N\u00fcrnberg, 1998."}],"container-title":["Lecture Notes in Computer Science","Computer Performance Evaluation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-68061-6_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,13]],"date-time":"2023-05-13T14:14:18Z","timestamp":1683987258000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-68061-6_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540649496","9783540680611"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/3-540-68061-6_5","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}