{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:14:01Z","timestamp":1725491641726},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540353621"},{"type":"electronic","value":"9783540353652"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11777830_3","type":"book-chapter","created":{"date-parts":[[2006,6,19]],"date-time":"2006-06-19T11:21:04Z","timestamp":1150716064000},"page":"31-46","source":"Crossref","is-referenced-by-count":3,"title":["Functional Performance Specification with Stochastic Probes"],"prefix":"10.1007","author":[{"given":"Ashok","family":"Argent-Katwala","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeremy T.","family":"Bradley","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1016\/S0166-5316(99)00010-3","volume":"35","author":"W.D. Obal","year":"1999","unstructured":"Obal, W.D., Sanders, W.H.: State-space support for path-based reward variables. Performance Evaluation\u00a035, 233\u2013251 (1999)","journal-title":"Performance Evaluation"},{"key":"3_CR2","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1145\/974044.974051","volume-title":"WOSP 2004, Proceedings of the 4th 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: Almeida, V., Lea, D. (eds.) WOSP 2004, Proceedings of the 4th International Workshop on Software and Performance, Redwood City, California, pp. 49\u201358. ACM, New York (2004)"},{"key":"3_CR3","doi-asserted-by":"publisher","first-page":"1121","DOI":"10.1002\/spe.4380241203","volume":"24","author":"C.M. Woodside","year":"1994","unstructured":"Woodside, C.M., Shramm, C.: Complex performance measurements with NICE (notation for interval combinations and events). Software\u2014Practice and Experience\u00a024, 1121\u20131144 (1994)","journal-title":"Software\u2014Practice and Experience"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Baier, C., Cloth, L., Haverkort, B.R., Kuntz, M., Siegle, M.: Model checking action- and state-labelled Markov chains. In: DSN 2004, Proceedings of International Conference on Dependable Systems and Networks, pp. 701\u2013710 (June 2004)","DOI":"10.1109\/DSN.2004.1311941"},{"issue":"1\u20134","key":"3_CR5","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/S0166-5316(99)00056-5","volume":"39","author":"H. Hermanns","year":"2000","unstructured":"Hermanns, H., Herzog, U., Klehmet, U., Mertsiotakis, V., Siegle, M.: Compositional performance modelling with the TIPPtool. Performance Evaluation\u00a039(1\u20134), 5\u201335 (2000)","journal-title":"Performance Evaluation"},{"key":"3_CR6","first-page":"3","volume-title":"Automata Studies","author":"S.C. Kleene","year":"1956","unstructured":"Kleene, S.C.: Representation of events in nerve nets and finite automata. In: Shannon, C.E., McCarthy, J. (eds.) Automata Studies, pp. 3\u201341. Princeton University Press, Princeton (1956)"},{"key":"3_CR7","series-title":"Distinguished Dissertations in Computer Science","doi-asserted-by":"publisher","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. Distinguished Dissertations in Computer Science, vol.\u00a012. Cambridge University Press, Cambridge (1996)"},{"key":"3_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1007\/3-540-61604-7_63","volume-title":"CONCUR \u201996: Concurrency Theory","author":"M. Bernardo","year":"1996","unstructured":"Bernardo, M., Gorrieri, R.: Extended Markovian Process Algebra. In: Sassone, V., Montanari, U. (eds.) CONCUR 1996. LNCS, vol.\u00a01119, pp. 315\u2013330. Springer, Heidelberg (1996)"},{"key":"3_CR9","series-title":"Lecture Notes in Computer Science","volume-title":"Computer Performance Evaluations. Modelling Techniques and Tools","author":"T. Ayles","year":"2003","unstructured":"Ayles, T., Field, A.J., Magee, J.N.: Adding performance evaluation to the LTSA tool. In: Kemper, P., Sanders, W.H. (eds.) TOOLS 2003. LNCS, vol.\u00a02794. Springer, Heidelberg (2003)"},{"key":"3_CR10","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, MASCOTS 2003","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, MASCOTS 2003, pp. 344\u2013351. IEEE Computer Society Press, Los Alamitos (2003)"},{"key":"3_CR11","unstructured":"Gilmore, S., Hillston, J.: Feature interaction in PEPA. In: Priami, C. (ed.) Process Algebra and Performance Modelling Workshop, Universit\u00e0 Degli Studi di Verona, Nice, pp. 17\u201326 (September 1998)"},{"key":"3_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/3-540-48778-6_13","volume-title":"Formal Methods for Real-Time and Probabilistic Systems","author":"S. Gilmore","year":"1999","unstructured":"Gilmore, S., Hillston, J., Clark, G.: Specifying performance measures for PEPA. In: Katoen, J.-P. (ed.) AMAST-ARTS 1999, ARTS 1999, and AMAST-WS 1999. LNCS, vol.\u00a01601, pp. 211\u2013227. Springer, Heidelberg (1999)"},{"key":"3_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1007\/3-540-61474-5_75","volume-title":"Computer Aided Verification","author":"A. Aziz","year":"1996","unstructured":"Aziz, A., Sanwal, K., Singhal, V., Brayton, R.: Verifying continuous-time Markov chains. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol.\u00a01102, pp. 269\u2013276. Springer, Heidelberg (1996)"},{"key":"3_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/3-540-48320-9_12","volume-title":"CONCUR\u201999. Concurrency Theory","author":"C. Baier","year":"1999","unstructured":"Baier, C., Katoen, J.-P., Hermanns, H.: Approximate symbolic model checking of continuous-time Markov chains. In: Baeten, J.C.M., Mauw, S. (eds.) CONCUR 1999. LNCS, vol.\u00a01664, pp. 146\u2013162. Springer, Heidelberg (1999)"},{"key":"3_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/3-540-46029-2_13","volume-title":"Computer Performance Evaluation","author":"M. Kwiatkowska","year":"2002","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM: Probabilistic symbolic model checker. In: Field, T., Harrison, P.G., Bradley, J., Harder, U. (eds.) TOOLS 2002. LNCS, vol.\u00a02324, pp. 200\u2013204. Springer, Heidelberg (2002)"},{"key":"3_CR16","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1109\/QEST.2005.12","volume-title":"QEST 2005, Proceedings of the 2nd International Conference on Quantitative Evaluation of Systems","author":"J. Hillston","year":"2005","unstructured":"Hillston, J.: Fluid flow approximation of PEPA models. In: QEST 2005, Proceedings of the 2nd International Conference on Quantitative Evaluation of Systems, Torino, pp. 33\u201342. IEEE Computer Society Press, Los Alamitos (2005)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Stochastic Models for Performance Evaluation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11777830_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T03:15:40Z","timestamp":1619493340000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11777830_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540353621","9783540353652"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/11777830_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}