What's on in Computing Science?

Date: Tuesday, 25 October, 2005
Time: 16:00
Location: F121 conference room
Continuous-time and continuous-space process algebras
Dr Stephen Gilmore, LFCS, Edinburgh University
Jane Hillston's timed process algebra PEPA (Performance Evaluation Process Algebra) has two semantic descriptions. The first is a continuous-time semantics based on Markov chains. The second is a continuous-space semantics based on ordinary differential equations. This talk explains the significance of the continuous-space semantics and discusses its relationship to the continuous-time semantics. No prior knowledge of PEPA, Markov chains or differential equations will be assumed.

Contact: Dr Alice A Miller (alice@dcs.gla.ac.uk)

URL: Continuous-time and continuous-space process algebras

Add to my calendar