What's on in Computing Science?
Date: Tuesday, 25 October, 2005
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 (firstname.lastname@example.org)
URL: Continuous-time and continuous-space process algebras
Add to my calendar