{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:16:27Z","timestamp":1725567387745},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540657187"},{"type":"electronic","value":"9783540490203"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-3-540-49020-3_14","type":"book-chapter","created":{"date-parts":[[2010,10,13]],"date-time":"2010-10-13T11:40:24Z","timestamp":1286970024000},"page":"204-218","source":"Crossref","is-referenced-by-count":0,"title":["Semantic-Driven Performance Evaluation"],"prefix":"10.1007","author":[{"given":"Chiara","family":"Nottegar","sequence":"first","affiliation":[]},{"given":"Corrado","family":"Priami","sequence":"additional","affiliation":[]},{"given":"Pierpaolo","family":"Degano","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","volume-title":"Proceedings of ICSE 1998","author":"M. Baldi","year":"1998","unstructured":"Baldi, M., Picco, G.P.: Evaluating the tradeoffs of mobile code design paradigms in network management applications. In: Proceedings of ICSE 1998. ACM Press, New York (1998)"},{"key":"14_CR2","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1006\/inco.1998.2706","volume":"144","author":"M. Bernardo","year":"1998","unstructured":"Bernardo, M., Donatiello, L., Gorrieri, R.: A formal approach to the integration of performance aspects in the modelling and analysis of concurrent systems. Information and Computation\u00a0144, 83\u2013154 (1998)","journal-title":"Information and Computation"},{"issue":"4","key":"14_CR3","doi-asserted-by":"crossref","first-page":"433","DOI":"10.3233\/FI-1988-11406","volume":"XI","author":"G. Boudol","year":"1988","unstructured":"Boudol, G., Castellani, I.: A non-interleaving semantics for CCS based on proved transitions. Fundamenta Informaticae\u00a0XI(4), 433\u2013452 (1988)","journal-title":"Fundamenta Informaticae"},{"key":"14_CR4","unstructured":"Buchholz, P.: On a markovian process algebra. Technical report, Informatik IV, University of Dortmund (1994)"},{"key":"14_CR5","first-page":"23","volume-title":"Proceedings of ICSE 1997","author":"A. Carzaniga","year":"1997","unstructured":"Carzaniga, A., Picco, G.P., Vigna, G.: Designing distributed applications with mobile code paradigms. In: Proceedings of ICSE 1997, pp. 23\u201332. ACM Press, New York (1997)"},{"key":"14_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"520","DOI":"10.1007\/BFb0028836","volume-title":"Fundamentals of Computation Theory","author":"P. Degano","year":"1985","unstructured":"Degano, P., De Nicola, R., Montanari, U.: Partial ordering derivations for CCS. In: Budach, L. (ed.) FCT 1985. LNCS, vol.\u00a0199, pp. 520\u2013533. Springer, Heidelberg (1985)"},{"key":"14_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"629","DOI":"10.1007\/3-540-55719-9_110","volume-title":"Automata, Languages and Programming","author":"P. Degano","year":"1992","unstructured":"Degano, P., Priami, C.: Proved trees. In: Kuich, W. (ed.) ICALP 1992. LNCS, vol.\u00a0623, pp. 629\u2013640. Springer, Heidelberg (1992)"},{"issue":"2","key":"14_CR8","doi-asserted-by":"publisher","first-page":"352","DOI":"10.1145\/234528.234748","volume":"28","author":"P. Degano","year":"1996","unstructured":"Degano, P., Priami, C.: Enhanced operational semantics. ACM Computing Surveys\u00a028(2), 352\u2013354 (1996)","journal-title":"ACM Computing Surveys"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"Degano, P., Priami, C.: Non interleaving semantics for mobile processes. Theoretical Computer Science (March 1999)","DOI":"10.1016\/S0304-3975(99)80003-6"},{"key":"14_CR10","unstructured":"G\u00f6tz, N., Herzog, U., Rettelbach, M.: TIPP-a language for timed processes and performance evaluation. Technical Report 4\/92, IMMD VII, University of Erlangen-Nurnberg (1992)"},{"key":"14_CR11","unstructured":"Hillston, J.: A Compositional Approach to Performance Modelling. PhD thesis, University of Edinburgh, Department of Computer Science (1994)"},{"key":"14_CR12","volume-title":"Dynamic Probabilistic Systems:Semi-Markov and Decision Systems","author":"R. Howard","year":"1971","unstructured":"Howard, R.: Dynamic Probabilistic Systems:Semi-Markov and Decision Systems, vol.\u00a0II. Wiley, Chichester (1971)"},{"key":"14_CR13","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/0304-3975(93)90156-N","volume":"114","author":"R. Milner","year":"1993","unstructured":"Milner, R., Parrow, J., Walker, D.: Modal logics for mobile processes. Theoretical Computer Science\u00a0114, 149\u2013171 (1993)","journal-title":"Theoretical Computer Science"},{"key":"14_CR14","unstructured":"Plotkin, G.: A structural approach to operational semantics. Technical Report DAIMI FN-19, Aarhus University, Denmark (1981)"},{"issue":"6","key":"14_CR15","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(6), 578\u2013589 (1995)","journal-title":"The Computer Journal"},{"key":"14_CR16","unstructured":"Priami, C.: Enhanced Operational Semantics for Concurrency. PhD thesis, Dipartimento di Informatica, Universit\u00e0 di Pisa (March 1996). Available as Tech. Rep. TD-08\/96"},{"key":"14_CR17","doi-asserted-by":"publisher","first-page":"508","DOI":"10.1109\/HICSS.1996.495500","volume-title":"Proceedings of 29th Hawaian International Conference on System Sciences","author":"C. Priami","year":"1996","unstructured":"Priami, C.: Integrating behavioural and performance analysis with topology information. In: Proceedings of 29th Hawaian International Conference on System Sciences, Maui, Hawaii, vol.\u00a01, pp. 508\u2013516. IEEE, Los Alamitos (1996)"},{"key":"14_CR18","first-page":"192","volume-title":"Proceedings of Italian Conference on Theoretical Computer Science","author":"C. Priami","year":"1998","unstructured":"Priami, C.: Enabling and general distributions in stochastic process algebras. In: Proceedings of Italian Conference on Theoretical Computer Science, Prato, pp. 192\u2013203. World Scientific, Singapore (1998)"},{"key":"14_CR19","unstructured":"Sangiorgi, D.: Expressing Mobility in Process Algebras: First-Order and Higher-Order Paradigms. PhD thesis, University of Edinburgh (1992)"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-49020-3_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,11]],"date-time":"2021-11-11T19:28:43Z","timestamp":1636658923000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-49020-3_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540657187","9783540490203"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-49020-3_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]}}}