Introduction Compositionality: Interaction and Independence Applications and Acceptance

First Page		Document Content
Date: 2005-09-27 05:39:14 Process calculi Jane Hillston PEPA Laboratory for Foundations of Computer Science Markov chain Principle of compositionality Process calculus Edinburgh Philosophy Theoretical computer science		Introduction Compositionality: Interaction and Independence Applications and Acceptance Add to Reading List Source URL: homepages.inf.ed.ac.uk Download Document from Source Website File Size: 1,65 MB 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