{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,1]],"date-time":"2025-08-01T03:47:34Z","timestamp":1754020054945},"publisher-location":"Berlin, Heidelberg","reference-count":70,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540442523"},{"type":"electronic","value":"9783540457985"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45798-4_11","type":"book-chapter","created":{"date-parts":[[2007,7,3]],"date-time":"2007-07-03T01:42:40Z","timestamp":1183426960000},"page":"236-260","source":"Crossref","is-referenced-by-count":24,"title":["Stochastic Process Algebra: From an Algebraic Formalism to an Architectural Description Language"],"prefix":"10.1007","author":[{"given":"Marco","family":"Bernardo","sequence":"first","affiliation":[]},{"given":"Lorenzo","family":"Donatiello","sequence":"additional","affiliation":[]},{"given":"Paolo","family":"Ciancarini","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,9,5]]},"reference":[{"key":"11_CR1","unstructured":"M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, G. Franceschinis, \u201cModelling with Generalized Stochastic Petri Nets\u201d, John Wiley & Sons, 1995"},{"key":"11_CR2","unstructured":"A. Aldini, M. Bernardo, R. Gorrieri, \u201cAn Algebraic Model for Evaluating the Performance of an ATM Switch with Explicit Rate Marking\u201d, in Proc. of the 7th Int. Workshop on Process Algebra and Performance Modelling (PAPM 1999), Prensas Universitarias de Zaragoza, pp. 119\u2013138, Zaragoza (Spain), 1999"},{"key":"11_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/379525.379526","volume":"11","author":"A. Aldini","year":"2001","unstructured":"A. Aldini, M. Bernardo, R. Gorrieri, M. Roccetti, \u201cComparing the QoS of Internet Audio Mechanisms via Formal Methods\u201d, in ACM Trans. on Modeling and Computer Simulation 11:1\u201342, 2001","journal-title":"ACM Trans. on Modeling and Computer Simulation"},{"key":"11_CR4","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1145\/258077.258078","volume":"6","author":"R. Allen","year":"1997","unstructured":"R. Allen, D. Garlan, \u201cA Formal Basis for Architectural Connection\u201d, in ACM Trans. on Software Engineering and Methodology 6:213\u2013249, 1997","journal-title":"ACM Trans. on Software Engineering and Methodology"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"J.C.M. Baeten, W.P. Weijland, \u201cProcess Algebra\u201d, Cambridge University Press, 1990","DOI":"10.1017\/CBO9780511624193"},{"key":"11_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"780","DOI":"10.1007\/3-540-45022-X_65","volume-title":"On the Logical Characterisation of Performability Properties","author":"C. Baier","year":"2000","unstructured":"C. Baier, B. Haverkort, H. Hermanns, J.-P. Katoen, \u201cOn the Logical Characterisation of Performability Properties\u201d, in Proc. of the 27th Int. Coll. on Automata, Languages and Programming (ICALP 2000), LNCS 1853:780\u2013792, Geneve (Switzerland), 2000"},{"key":"11_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"358","DOI":"10.1007\/10722167_28","volume-title":"Model Checking Continuous-Time Markov Chains by Transient Analysis","author":"C. Baier","year":"2000","unstructured":"C. Baier, B. Haverkort, H. Hermanns, J.-P. Katoen, \u201cModel Checking Continuous-Time Markov Chains by Transient Analysis\u201d, in Proc. of the 12th Int. Conf. on Computer Aided Verification (CAV 2000), LNCS 1855:358\u2013372, Chicago (IL), 2000"},{"key":"11_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1007\/3-540-48320-9_12","volume-title":"Approximate Symbolic Model Checking of Continuous Time Markov Chains","author":"C. Baier","year":"1999","unstructured":"C. Baier, J.-P. Katoen, H. Hermanns, \u201cApproximate Symbolic Model Checking of Continuous Time Markov Chains\u201d, in Proc. of the 10th Int. Conf. on Concurrency Theory (CONCUR 1999), LNCS 1664:146\u2013162, Eindhoven (The Netherlands), 1999"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"S. Balsamo, M. Bernardo, M. Simeoni, \u201cCombining Stochastic Process Algebras and Queueing Networks for Software Architecture Analysis\u201d, to appear in Proc. of the 3rd Int. Workshop on Software and Performance (WOSP 2002), Rome (Italy), 2002","DOI":"10.1145\/584369.584398"},{"key":"11_CR10","unstructured":"M. Bernardo, \u201cTheory and Application of Extended Markovian Process Algebra\u201d, Ph.D. Thesis, University of Bologna (Italy), 1999"},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"M. Bernardo, \u201cA Simulation Analysis of Dynamic Server Selection Algorithms for Replicated Web Services\u201d, in Proc. of the 9th Int. Symp. on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS 2001), IEEE-CS Press, pp. 371\u2013378, Cincinnati (OH), 2001","DOI":"10.1109\/MASCOT.2001.948889"},{"key":"11_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"136","DOI":"10.1007\/3-540-44804-7_9","volume-title":"Reward Based Congruences: Can We Aggregate More?","author":"M. Bernardo","year":"2001","unstructured":"M. Bernardo, M. Bravetti, \u201cReward Based Congruences: Can We Aggregate More?\u201d, in Proc. of the 1st Joint Int. Workshop on Process Algebra and Performance Modelling and Probabilistic Methods in Verification (PAPM\/PROBMIV 2001), LNCS 2165:136\u2013151, Aachen (Germany), 2001"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"M. Bernardo, M. Bravetti, \u201cPerformance Measure Sensitive Congruences for Markovian Process Algebras\u201d, to appear in Theoretical Computer Science, 2002","DOI":"10.1016\/S0304-3975(01)00090-1"},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"M. Bernardo, N. Busi, M. Ribaudo, \u201cIntegrating TwoTowers and GreatSPN through a Compact Net Semantics\u201d, to appear in Performance Evaluation, 2002","DOI":"10.1016\/S0166-5316(02)00104-9"},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"M. Bernardo, P. Ciancarini, L. Donatiello, \u201c\u00c6MPA: A Process Algebraic Description Language for the Performance Analysis of Software Architectures\u201d, in Proc. of the 2nd Int. Workshop on Software and Performance (WOSP 2000), ACM Press, pp. 1\u201311, Ottawa (Canada), 2000","DOI":"10.1145\/350391.350394"},{"key":"11_CR16","unstructured":"M. Bernardo, P. Ciancarini, L. Donatiello, \u201cArchitecting Software Systems with Process Algebras\u201d, Tech. Rep. UBLCS-2001-07, University of Bologna (Italy), 2001"},{"key":"11_CR17","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1007\/3-540-44618-4_23","volume-title":"A Theory of Testing for Markovian Processes","author":"M. Bernardo","year":"2000","unstructured":"M. Bernardo, W.R. Cleaveland, \u201cA Theory of Testing for Markovian Processes\u201d, in Proc. of the 11th Int. Conf. on Concurrency Theory (CONCUR 2000), LNCS 1877:305-319, State College (PA), 2000"},{"key":"11_CR18","unstructured":"M. Bernardo, W.R. Cleaveland, W.S. Stewart, \u201cTwoTowers 1.0 User Manual\u201d, http:\/\/www.sti.uniurb.it\/bernardo\/twotowers\/ , 2001"},{"key":"11_CR19","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1007\/3-540-45923-5_8","volume-title":"Architectural Types Revisited: Extensible And\/Or Connections","author":"M. Bernardo","year":"2002","unstructured":"M. Bernardo, F. Franz\u00e8, \u201cArchitectural Types Revisited: Extensible And\/Or Connections\u201d, in Proc. of the 5th Int. Conf. on Fundamental Approaches to Software Engineering (FASE 2002), LNCS 2306:113\u2013128, Grenoble (France), 2002"},{"key":"11_CR20","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1007\/3-540-46000-4_7","volume-title":"Exogenous and Endogenous Extensions of Architectural Types","author":"M. Bernardo","year":"2002","unstructured":"M. Bernardo, F. Franz\u00e8, \u201cExogenous and Endogenous Extensions of Architectural Types\u201d, in Proc. of the 5th Int. Conf. on Coordination Models and Languages (COORDINATION 2002), LNCS 2315:40\u201355, York (UK), 2002"},{"key":"11_CR21","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/s001650050020","volume":"10","author":"M. Bernardo","year":"1999","unstructured":"M. Bernardo, R. Gorrieri, M. Roccetti, \u201cFormal Performance Modelling and Evaluation of an Adaptive Mechanism for Packetised Audio over the Internet\u201d, in Formal Aspects of Computing 10:313\u2013337, 1999","journal-title":"Formal Aspects of Computing"},{"key":"11_CR22","unstructured":"H. Bohnenkamp, \u201cCompositional Solution of Stochastic Process Algebra Models\u201d, Ph.D. Thesis, RWTH Aachen (Germany), 2001"},{"key":"11_CR23","unstructured":"H. Bowman, J.W. Bryans, J. Derrick, \u201cAnalysis of a Multimedia Stream using Stochastic Process Algebra\u201d, in Proc. of the 6th Int. Workshop on Process Algebra and Performance Modelling (PAPM 1998), pp. 51\u201369, Nice (France), 1998"},{"key":"11_CR24","unstructured":"J.T. Bradley, \u201cTowards Reliable Modelling with Stochastic Process Algebras\u201d, Ph.D. Thesis, University of Bristol (UK), 1999"},{"key":"11_CR25","doi-asserted-by":"crossref","unstructured":"M. Bravetti, \u201cSpecification and Analysis of Stochastic Real-Time Systems\u201d, Ph.D. Thesis, University of Bologna (Italy), 2002","DOI":"10.1007\/3-540-45605-8_14"},{"key":"11_CR26","doi-asserted-by":"crossref","unstructured":"M. Bravetti, M. Bernardo, \u201cCompositional Asymmetric Cooperations for Process Algebras with Probabilities, Priorities, and Time\u201d, in Proc. of the 1st Int. Workshop on Models for Time Critical Systems (MTCS 2000), Electronic Notes in Theoretical Computer Science 39(3), State College (PA), 2000","DOI":"10.1016\/S1571-0661(05)01220-X"},{"key":"11_CR27","unstructured":"P. Buchholz, \u201cMarkovian Process Algebra: Composition and Equivalence\u201d, in Proc. of the 2nd Int. Workshop on Process Algebra and Performance Modelling (PAPM 1994), pp. 11\u201330, Erlangen (Germany), 1994"},{"key":"11_CR28","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1145\/151646.151648","volume":"15","author":"W.R. Cleaveland","year":"1993","unstructured":"W.R. Cleaveland, J. Parrow, B. Steffen, \u201cThe Concurrency Workbench: A Semantics-Based Tool for the Verification of Concurrent Systems\u201d, in ACM Trans. on Programming Languages and Systems 15:36\u201372, 1993","journal-title":"ACM Trans. on Programming Languages and Systems"},{"key":"11_CR29","unstructured":"G. Clark, \u201cTechniques for the Construction and Analysis of Algebraic Performance Models\u201d, Ph.D. Thesis, University of Edinburgh (UK), 2000"},{"key":"11_CR30","unstructured":"E.M. Clarke, O. Grumberg, D.A. Peled, \u201cModel Checking\u201d, MIT Press, 1999"},{"key":"11_CR31","unstructured":"P. D\u2019Argenio, \u201cAlgebras and Automata for Timed and Stochastic Systems\u201d, Ph.D. Thesis, University of Twente (The Netherlands), 1999"},{"key":"11_CR32","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/0304-3975(84)90113-0","volume":"34","author":"R. Nicola De","year":"1983","unstructured":"R. De Nicola, M.C.B. Hennessy, \u201cTesting Equivalences for Processes\u201d, in Theoretical Computer Science 34:83\u2013133, 1983","journal-title":"Theoretical Computer Science"},{"key":"11_CR33","doi-asserted-by":"crossref","first-page":"678","DOI":"10.1109\/TSE.1986.6312965","volume":"12","author":"D. Ferrari","year":"1986","unstructured":"D. Ferrari, \u201cConsiderations on the Insularity of Performance Evaluation\u201d, in IEEE Trans. on Software Engineering 12:678\u2013683, 1986","journal-title":"IEEE Trans. on Software Engineering"},{"key":"11_CR34","unstructured":"S. Gilmore, \u201cThe PEPA Workbench User Manual\u201d, http:\/\/www.dcs.ed.ac.uk\/pepa\/tools.html , 2001"},{"key":"11_CR35","doi-asserted-by":"publisher","first-page":"1065","DOI":"10.1080\/00207549608904950","volume":"34","author":"S. Gilmore","year":"1996","unstructured":"S. Gilmore, J. Hillston, D.R.W. Holton, M. Rettelbach, \u201cSpecifications in Stochastic Process Algebra for a Robot Control Problem\u201d, in Journal of Production Research 34:1065\u20131080, 1996","journal-title":"Journal of Production Research"},{"key":"11_CR36","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1006\/inco.1995.1123","volume":"121","author":"R.J. Glabbeek van","year":"1995","unstructured":"R.J. van Glabbeek, S.A. Smolka, B. Steffen, \u201cReactive, Generative and Stratified Models of Probabilistic Processes\u201d, in Information and Computation 121:59\u201380, 1995","journal-title":"Information and Computation"},{"key":"11_CR37","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"224","DOI":"10.1007\/3-540-17945-3_13","volume-title":"Petri Net Models for Algebraic Theories of Concurrency","author":"R.J. Glabbeek van","year":"1987","unstructured":"R.J. van Glabbeek, F.W. Vaandrager, \u201cPetri Net Models for Algebraic Theories of Concurrency\u201d, in Proc. of the Conf. on Parallel Architectures and Languages Europe (PARLE 1987), LNCS 259:224\u2013242, Eindhoven (The Netherlands), 1987"},{"key":"11_CR38","unstructured":"N. G\u00f6tz, \u201cStochastische Proze\u00dfalgebren-Integration von funktionalem Entwurf und Leistungsbewertung Verteilter Systeme\u201d, Ph.D. Thesis, University of Erlangen (Germany), 1994"},{"key":"11_CR39","doi-asserted-by":"publisher","first-page":"510","DOI":"10.1093\/comjnl\/38.7.510","volume":"38","author":"P.G. Harrison","year":"1995","unstructured":"P.G. Harrison, J. Hillston, \u201cExploiting Quasi-Reversible Structures in Markovian Process Algebra Models\u201d, in Computer Journal 38:510\u2013520, 1995","journal-title":"Computer Journal"},{"key":"11_CR40","unstructured":"H. Hermanns, \u201cInteractive Markov Chains\u201d, Ph.D. Thesis, University of Erlangen (Germany), 1998"},{"key":"11_CR41","unstructured":"H. Hermanns, U. Herzog, J. Hillston, V. Mertsiotakis, M. Rettelbach, \u201cStochastic Process Algebras: Integrating Qualitative and Quantitative Modelling\u201d, Tech. Rep. 11\/94, University of Erlangen (Germany), 1994"},{"key":"11_CR42","doi-asserted-by":"crossref","unstructured":"H. Hermanns, U. Herzog, V. Mertsiotakis, \u201cStochastic Process Algebras as a Tool for Performance and Dependability Modelling\u201d, in Proc. of the 1st IEEE Int. Computer Performance and Dependability Symp. (IPDS 1995), IEEE-CS Press, pp. 102\u2013111, Erlangen (Germany), 1995","DOI":"10.1109\/IPDS.1995.395813"},{"key":"11_CR43","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/S0167-6423(99)00019-2","volume":"36","author":"H. Hermanns","year":"2000","unstructured":"H. Hermanns, J.-P. Katoen, \u201cAutomated Compositional Markov Chain Generation for a Plain-Old Telephone System\u201d, in Science of Computer Programming 36:97\u2013127, 2000","journal-title":"Science of Computer Programming"},{"key":"11_CR44","unstructured":"H. Hermanns, J. Meyer-Kayser, M. Siegle, \u201cMulti Terminal Binary Decision Diagrams to Represent and Analyse Continuous Time Markov Chains\u201d, in Proc. of the 3rd Int. Workshop on the Numerical Solution of Markov Chains (NSMC 1999), Zaragoza (Spain), 1999"},{"key":"11_CR45","unstructured":"H. Hermanns, M. Rettelbach, \u201cSyntax, Semantics, Equivalences, and Axioms for MTIPP\u201d, in Proc. of the 2nd Int. Workshop on Process Algebra and Performance Modelling (PAPM 1994), pp. 71\u201387, Erlangen (Germany), 1994"},{"key":"11_CR46","doi-asserted-by":"crossref","unstructured":"U. Herzog, \u201cFormal Description, Time and Performance Analysis-A Framework\u201d, in Entwurf und Betrieb verteilter Systeme, Informatik Fachberichte 264, Springer, 1990","DOI":"10.1007\/978-3-642-76309-0_10"},{"key":"11_CR47","unstructured":"U. Herzog, \u201cEXL: Syntax, Semantics and Examples\u201d, Tech. Rep. 16\/90, University of Erlangen (Germany), 1990"},{"key":"11_CR48","doi-asserted-by":"crossref","unstructured":"J. Hillston, \u201cA Compositional Approach to Performance Modelling\u201d, Cambridge University Press, 1996","DOI":"10.1017\/CBO9780511569951"},{"key":"11_CR49","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/S0166-5316(99)00005-X","volume":"35","author":"J. Hillston","year":"1999","unstructured":"J. Hillston, N. Thomas, \u201cProduct Form Solution for a Class of PEPA Models\u201d, in Performance Evaluation 35:171\u2013192, 1999","journal-title":"Performance Evaluation"},{"key":"11_CR50","doi-asserted-by":"crossref","unstructured":"C.A.R. Hoare, \u201cCommunicating Sequential Processes\u201d, Prentice Hall, 1985","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"11_CR51","doi-asserted-by":"publisher","first-page":"542","DOI":"10.1093\/comjnl\/38.7.542","volume":"38","author":"D.R.W. Holton","year":"1995","unstructured":"D.R.W. Holton, \u201cA PEPA Specification of an Industrial Production Cell\u201d, in Computer Journal 38:542\u2013551, 1995","journal-title":"Computer Journal"},{"key":"11_CR52","unstructured":"R.A. Howard, \u201cDynamic Probabilistic Systems\u201d, John Wiley & Sons, 1971"},{"key":"11_CR53","unstructured":"K. Kanani, \u201cA Unified Framework for Systematic Quantitative and Qualitative Analysis of Communicating Systems\u201d, Ph.D. Thesis, Imperial College (UK), 1998"},{"key":"11_CR54","unstructured":"J.-P. Katoen \u201cQuantitative and Qualitative Extensions of Event Structures\u201d, Ph.D. Thesis, University of Twente (The Netherlands), 1996"},{"key":"11_CR55","unstructured":"U. Klehmet, V. Mertsiotakis, \u201cTIPPtool-User\u2019s Guide\u201d, http:\/\/www7.informatik.uni-erlangen.de\/tipp\/tool.html , 1998"},{"key":"11_CR56","unstructured":"L. Kleinrock, \u201cQueueing Systems\u201d, John Wiley & Sons, 1975"},{"key":"11_CR57","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(91)90030-6","volume":"94","author":"K.G. Larsen","year":"1991","unstructured":"K.G. Larsen, A. Skou, \u201cBisimulation through Probabilistic Testing\u201d, in Information and Computation 94:1\u201328, 1991","journal-title":"Information and Computation"},{"key":"11_CR58","unstructured":"S.S. Lavenberg editor, \u201cComputer Performance Modeling Handbook\u201d, Academic ress, 1983"},{"key":"11_CR59","unstructured":"V. Mertsiotakis, \u201cApproximate Analysis Methods for Stochastic Process Algebras\u201d, Ph.D. Thesis, University of Erlangen (Germany), 1998"},{"key":"11_CR60","unstructured":"R. Milner, \u201cCommunication and Concurrency\u201d, Prentice Hall, 1989"},{"key":"11_CR61","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1145\/141874.141884","volume":"17","author":"D.E. Perry","year":"1992","unstructured":"D.E. Perry, A.L. Wolf, \u201cFoundations for the Study of Software Architecture\u201d, in ACM SIGSOFT Software Engineering Notes 17:40\u201352, 1992","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"key":"11_CR62","unstructured":"M. Rettelbach, \u201cStochastische Proze\u00dfalgebren mit zeitlosen Aktivit\u00e4ten und probabilistischen Verzweigungen\u201d, Ph.D. Thesis, University of Erlangen (Germany), 1996"},{"key":"11_CR63","unstructured":"M. Ribaudo, \u201cOn the Relationship between Stochastic Process Algebras and Stochastic Petri Nets\u201d, Ph.D. Thesis, University of Torino (Italy), 1995"},{"key":"11_CR64","unstructured":"P. Schweitzer, \u201cAggregation Methods for Large Markov Chains\u201d, in Mathematical Computer Performance and Reliability, North Holland, pp. 275\u2013286, 1984"},{"key":"11_CR65","doi-asserted-by":"publisher","first-page":"622","DOI":"10.1093\/comjnl\/38.7.622","volume":"38","author":"M. Sereno","year":"1995","unstructured":"M. Sereno, \u201cTowards a Product Form Solution for Stochastic Process Algebras\u201d, in Computer Journal 38:622\u2013632, 1995","journal-title":"Computer Journal"},{"key":"11_CR66","unstructured":"M. Shaw, D. Garlan, \u201cSoftware Architecture: Perspectives on an Emerging Discipline\u201d, Prentice Hall, 1996"},{"key":"11_CR67","unstructured":"M. Siegle, \u201cBeschreibung und Analyse von Markovmodellen mit grossem Zustandsraum\u201d, Ph.D. Thesis, University of Erlangen (Germany), 1995"},{"key":"11_CR68","unstructured":"C.U. Smith, \u201cPerformance Engineering of Software Systems\u201d, Addison-Wesley, 1990"},{"key":"11_CR69","doi-asserted-by":"crossref","unstructured":"W.J. Stewart, \u201cIntroduction to the Numerical Solution of Markov Chains\u201d, Princeton University Press, 1994","DOI":"10.1515\/9780691223384"},{"key":"11_CR70","unstructured":"B. Strulo, \u201cProcess Algebra for Discrete Event Simulation\u201d, Ph.D. Thesis, Imperial College (UK), 1994"}],"container-title":["Lecture Notes in Computer Science","Performance Evaluation of Complex Systems: Techniques and Tools"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45798-4_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,12]],"date-time":"2023-05-12T20:46:12Z","timestamp":1683924372000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45798-4_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540442523","9783540457985"],"references-count":70,"URL":"https:\/\/doi.org\/10.1007\/3-540-45798-4_11","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}