{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T03:11:07Z","timestamp":1778296267322,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540580218","type":"print"},{"value":"9783540484165","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58021-2_20","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:06:29Z","timestamp":1330268789000},"page":"353-368","source":"Crossref","is-referenced-by-count":127,"title":["The PEPA workbench: A tool to support a process algebra-based approach to performance modelling"],"prefix":"10.1007","author":[{"given":"Stephen","family":"Gilmore","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jane","family":"Hillston","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,26]]},"reference":[{"key":"20_CR1","unstructured":"J. Hillston. PEPA \u2014 Performance Enhanced Process Algebra. Technical report, Dept. of Computer Science, University of Edinburgh, March 1993."},{"key":"20_CR2","unstructured":"R. Milner, M. Tofte, and R. Harper. The Definition of Standard ML. The MIT Press, 1990."},{"key":"20_CR3","unstructured":"B.W. Char, K.O. Geddes, G.H. Gonnet, M.B. Monagan, and S.M.Watt. Maple Reference Manual. 1988."},{"key":"20_CR4","unstructured":"R. Milner. Communication and Concurrency. Prentice-Hall, 1989."},{"key":"20_CR5","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'93, 1993."},{"key":"20_CR6","unstructured":"J. Hillston. A Compositional Approach to Performance Modelling. PhD thesis, Department of Computer Science, University of Edinburgh, 1994. to appear."},{"key":"20_CR7","unstructured":"I.S.O. LOTOS: A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. IS 8807, TC97\/SC21, 1989."},{"key":"20_CR8","doi-asserted-by":"crossref","unstructured":"C.J. Koomen. The Design of Communicating Systems: A System Engineering Approach. Kluwer, 1991.","DOI":"10.1007\/978-1-4615-4020-5"},{"key":"20_CR9","doi-asserted-by":"crossref","unstructured":"F. Moller and C. Tofts. A Temporal Calculus for Communicating Systems. In J.C.M. Baeten and J.W. Klop, editors, CONCUR'90, volume 458 of LNCS, pages 401\u2013415. August 1989.","DOI":"10.1007\/BFb0039073"},{"key":"20_CR10","doi-asserted-by":"crossref","unstructured":"X. Nicollin and J. Stifakis. An Overview and Synthesis on Timed Process Algebras. In Real-Time: Theory in Practice, pages 526\u2013548. Springer LNCS 600, 1991.","DOI":"10.1007\/BFb0032006"},{"key":"20_CR11","volume-title":"Technical report","author":"J. Davies","year":"1992","unstructured":"J. Davies and S. Schneider. A Brief History of Timed CSP. Technical report, Programming Research Group, Oxford University, Oxford OX1 3QD, September 1992."},{"key":"20_CR12","unstructured":"B. Strulo. Process Algebra for Discrete Event Simulation. PhD thesis, Imperial College, 1993. to appear."},{"issue":"2","key":"20_CR13","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1145\/190.191","volume":"2","author":"M. A. Marsan","year":"1984","unstructured":"M. Ajmone Marsan, G. Conte, and G. Balbo. A Class of Generalised Stochastic Petri Nets for the Performance Evaluation of Multiprocessor Systems. ACM Transactions on Computer Systems, 2(2):93\u2013122, May 1984.","journal-title":"ACM Transactions on Computer Systems"},{"key":"20_CR14","volume-title":"Technical Report 4\/92, IMMD7","author":"N. G\u00f6tz","year":"1992","unstructured":"N. G\u00f6tz, U. Herzog, and M. Rettelbach. TIPP\u2014a language for timed processes and performance evaluation. Technical Report 4\/92, IMMD7, University of Erlangen-N\u00fcrnberg, Germany, November 1992."},{"key":"20_CR15","unstructured":"J.K. Muppala and K.S. Trivedi. Composite Performance and Availability Analysis Using a Hierarchy of Stochastic Reward Nets. In G. Balbo and G. Serazzi, editors, Computer Performance Evaluation: Modelling Techniques and Tools, pages 335\u2013349. Elsevier, February 1991."},{"issue":"1","key":"20_CR16","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1145\/151646.151648","volume":"15","author":"R. Cleaveland","year":"1993","unstructured":"R. Cleaveland, J. Parrow, and B. Steffen. The concurrency workbench: A semanticsbased tool for the verification of concurrent systems. ACM Transcations on Programming Languages and Systems, 15(1):36\u201372, January 1993.","journal-title":"ACM Transcations on Programming Languages and Systems"},{"key":"20_CR17","unstructured":"W.H. Burge. Recursive Programming Techniques. Addison-Wesley, 1975."},{"key":"20_CR18","unstructured":"H. Takagi. Queueing Analysis of Polling Models: An Update. In H. Takagi, editor, Stochastic Analysis of Computer and Communication Systems, pages 267\u2013318. IFIP, 1990."},{"key":"20_CR19","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1016\/0166-5316(90)90001-Y","volume":"11","author":"M. A. Marsan","year":"1990","unstructured":"M. Ajmone Marsan, S. Donatelli, and F. Neri. GSPN Models of Markovian Multiserver Multiqueue Systems. Performance Evaluation, 11:227\u2013240, 1990.","journal-title":"Performance Evaluation"},{"key":"20_CR20","first-page":"79","volume-title":"Proceedings of Computer Network Symposium","author":"Q. Yang","year":"1986","unstructured":"Q. Yang, D. Ghosal, and L. Bhuyan. Performance Analysis of Multiple Token Ring and Multiple Slotted Ring Networks. In Proceedings of Computer Network Symposium, pages 79\u201386, Washington DC, 1986. IEEE."}],"container-title":["Lecture Notes in Computer Science","Computer Performance Evaluation Modelling Techniques and Tools"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58021-2_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:16:13Z","timestamp":1605647773000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58021-2_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540580218","9783540484165"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-58021-2_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994]]}}}