well as this volume, are made up of ?ve thematic sessions: - Stochastic process algebra