Gilmore, Stephen
University of Edinburgh - PEPA stochastic process algebra, Standard ML functional programming language.

No queries for www.dcs.ed.ac.uk/home/stg