{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T20:52:34Z","timestamp":1725483154767},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540660101"},{"type":"electronic","value":"9783540487784"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48778-6_13","type":"book-chapter","created":{"date-parts":[[2007,5,1]],"date-time":"2007-05-01T06:18:07Z","timestamp":1178000287000},"page":"211-227","source":"Crossref","is-referenced-by-count":19,"title":["Specifying Performance Measures for PEPA"],"prefix":"10.1007","author":[{"given":"Graham","family":"Clark","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stephen","family":"Gilmore","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jane","family":"Hillston","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[1999,4,30]]},"reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"J. Hillston. A Compositional Approach to Performance Modelling. Cambridge University Press, 1996.","DOI":"10.1017\/CBO9780511569951"},{"key":"13_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1007\/3-540-58021-2_20","volume-title":"Proceedings of 7th Conf. on Mod. Techniques and Tools for Computer Perf. Eval.","author":"S. Gilmore","year":"1994","unstructured":"S. Gilmore and J. Hillston. The PEPA Workbench: A Tool to Support a Process Algebra-based Approach to Performance Modelling. In G. Haring and G. Kotsis, editors, Proceedings of 7th Conf. on Mod. Techniques and Tools for Computer Perf. Eval., volume 794 of LNCS, pages 353\u2013368, 1994."},{"key":"13_CR3","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 Performance\u201993, 1993."},{"key":"13_CR4","unstructured":"M. Bernardo, L. Donatiello, and R. Gorrieri. Integrating Performance and Functional Analysis of Concurrent Systems with EMPA. Technical Report UBLCS-95-14, University of Bologna, 1995."},{"key":"13_CR5","series-title":"Semi-Markov and Decision Processes","first-page":"851","volume-title":"Dynamic Probabilistic Systems","author":"R. A. Howard","year":"1971","unstructured":"R. A. Howard. Dynamic Probabilistic Systems, volume II: Semi-Markov and Decision Processes, chapter 13, pages 851\u2013915. John Wiley & Sons, New York, 1971."},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"H. Bowman. Analysis of a Multimedia Stream using Stochastic Process Algebra. In Priami [23], pages 51\u201369.","DOI":"10.1093\/comjnl\/44.4.230"},{"key":"13_CR7","unstructured":"G. Clark. Formalising the Specification of Rewards with PEPA. In Proceedings of the Fourth Process Algebras and Performance Modelling Workshop, pages 139\u2013160, July 1996."},{"key":"13_CR8","unstructured":"G. Clark and J. Hillston. Towards Automatic Derivation of Performance Measures from PEPA Models. Proceedings of UKPEW, September 1996."},{"key":"13_CR9","unstructured":"S. Gilmore and J. Hillston. Feature Interaction in PEPA. In Priami [23], pages 17\u201326."},{"key":"13_CR10","unstructured":"S. Gilmore, J. Hillston, and L. Recalde. Elementary structural analysis for PEPA. Technical Report ECS-LFCS-97-377, Laboratory for Foundations of Computer Science, Department of Computer Science, The University of Edinburgh, 1997."},{"issue":"1","key":"13_CR11","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 and A. Skou. Bisimulation through probabilistic testing. Information and Computation, 94(1):1\u201328, September 1991.","journal-title":"Information and Computation"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"M. Huth and M. Kwiatkowska. Quantitative analysis and model checking. In Proceedings, Twelth Annual IEEE Symposium on Logic in Computer Science, pages 111\u2013122, Warsaw, Poland, 29 June\u20132 July 1997. IEEE Computer Society Press.","DOI":"10.1109\/LICS.1997.614940"},{"key":"13_CR13","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1016\/0304-3975(82)90125-6","volume":"27","author":"D. Kozen","year":"1983","unstructured":"D. Kozen. Results on the propositional mu-calculus. Theoretical Computer Science, 27:333\u2013354, 1983.","journal-title":"Theoretical Computer Science"},{"issue":"5","key":"13_CR14","doi-asserted-by":"publisher","first-page":"512","DOI":"10.1007\/BF01211866","volume":"6","author":"H. Hansson","year":"1994","unstructured":"H. Hansson and B. Jonsson. A logic for reasoning about time and reliability. Formal Aspects of Computing, 6(5):512\u2013535, 1994.","journal-title":"Formal Aspects of Computing"},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"V. Hartonas-Garmhausen. Probabilistic Symbolic Model Checking with Engineering Models and Applications. PhD thesis, Carnegie Mellon University, 1998.","DOI":"10.1007\/3-540-48778-6_6"},{"key":"13_CR16","doi-asserted-by":"crossref","unstructured":"S. Campos, E. Clarke, and M. Minea. The Verus tool: A quantitative approach to the formal verification of real-time systems. Lecture Notes in Computer Science, 1254, 1997.","DOI":"10.1007\/3-540-63166-6_46"},{"key":"13_CR17","doi-asserted-by":"crossref","unstructured":"M. Bernardo. An Algebra-Based Method to Associate Rewards with EMPA Terms. In to appear in 24th Int. Colloquium on Automata, Languages and Programming, July 1997.","DOI":"10.1007\/3-540-63165-8_192"},{"issue":"1","key":"13_CR18","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1145\/2455.2460","volume":"32","author":"M. Hennessy","year":"1985","unstructured":"M. Hennessy and R. Milner. Algebraic laws for nondeterminism and concurrency. Journal of the ACM, 32(1):137\u2013161, January 1985.","journal-title":"Journal of the ACM"},{"key":"13_CR19","unstructured":"L. de Alfaro. How to specify and verify the long-run average behavior of probabilistic systems. In LICS: IEEE Symposium on Logic in Computer Science, 1998."},{"issue":"1","key":"13_CR20","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1109\/65.260080","volume":"8","author":"A. Harter","year":"1994","unstructured":"A. Harter and A. Hopper. A distributed location system for the active office. IEEE Network Magazine, 8(1):62\u201370, 1994.","journal-title":"IEEE Network Magazine"},{"issue":"3","key":"13_CR21","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1145\/1321387.1321389","volume":"2","author":"Y.-B. Lin","year":"1998","unstructured":"Y-B. Lin and P. Lin. Performance modeling of location tracking systems. Mobile Computing and Communications Review, 2(3):24\u201327, 1998.","journal-title":"Mobile Computing and Communications Review"},{"key":"13_CR22","doi-asserted-by":"crossref","unstructured":"I. Mitrani. Probabilistic Modelling. Cambridge University Press, 1998.","DOI":"10.1017\/CBO9781139173087"},{"key":"13_CR23","unstructured":"C. Priami, editor. Proceedings of the Sixth International Workshop on Process Algebras and Performance Modelling, Nice, France, September 1998."}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Real-Time and Probabilistic Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48778-6_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,27]],"date-time":"2019-04-27T12:35:01Z","timestamp":1556368501000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48778-6_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540660101","9783540487784"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-48778-6_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]}}}