<XML><RECORDS><RECORD><REFERENCE_TYPE>10</REFERENCE_TYPE><REFNUM>7660</REFNUM><AUTHORS><AUTHOR>Calder,M.</AUTHOR><AUTHOR>Gilmore,S.</AUTHOR><AUTHOR>Hillston,J.</AUTHOR></AUTHORS><YEAR>2004</YEAR><TITLE>Modelling the Influence of RKIP on the ERK Signalling Pathway using the Stochastic Process Algebra PEPA</TITLE><PLACE_PUBLISHED>DCS Tech Report</PLACE_PUBLISHED><PUBLISHER>N/A</PUBLISHER><LABEL>Calder:2004:7660</LABEL><ABSTRACT>This paper models the influence of the Raf Kinase Inhibitor Protein (RKIP) on the Extracellular signal Regulated Kinase (ERK) signalling pathway through modelling in a Markovian process algebra, PEPA. Two models of the system are presented, a reagen-centric view and a pathway-centric view. These are shown to be formally equivalent using the timing-aware bisimulation defined over PEPA models. </ABSTRACT><NOTES>This is a preliminary version of a conference paper, see the conference paper for a more detailed model.</NOTES></RECORD></RECORDS></XML>