State-Aware Performance Analysis with eXtended Stochastic Probes Allan Clark and Stephen Gilmore University of Edinburgh, Scotland Abstract. We define a mechanism for specifying performance queries which

First Page		Document Content
Date: 2008-10-06 04:40:04 PEPA Process calculi Process calculus Client		State-Aware Performance Analysis with eXtended Stochastic Probes Allan Clark and Stephen Gilmore University of Edinburgh, Scotland Abstract. We define a mechanism for specifying performance queries which Add to Reading List Source URL: www.dcs.ed.ac.uk Download Document from Source Website File Size: 298,18 KB Share Document on Facebook

	Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebra PEPA Muﬀy Calder1 , Stephen Gilmore2 , and Jane Hillston2 1 DocID: 1xTb0 - View Document
	The PEPA Eclipse Plug-in A modelling, analysis and verification platform for PEPA Adam Duguid, Stephen Gilmore, Michael Smith and Mirco Tribastone Wednesday 01 December 2010 DocID: 1uYwd - View Document
	IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1 An Efficient Algorithm for Aggregating PEPA Models DocID: 1uMbe - View Document
	Finding the rates inside a PEPA model with EMPEPA Finding the rates inside a PEPA model with EMPEPA Nil Geisweiller PEPA Club DocID: 1urRC - View Document
	Bio-PEPA: a framework for the modelling and analysis of biological systems Federica Ciocchetta a,∗ and Jane Hillston a,b a Laboratory for Foundations of Computer Science, The University of Edinburgh, DocID: 1umdS - View Document