@phdthesis{19290e00a41f4c7a8194651f1b33ae9f,
title = "Clocks, Dice and Processes",
keywords = "axiomatization, bisimulation, concurrency, continuous-time Markov chain, equational logic, linear time-branching time spectrum, model checking, probabilistic models, process algebra, timed automata",
author = "T. Chen",
year = "2009",
language = "English",
isbn = "9789086593392",
series = "IPA dissertation series",
number = "17",
type = "PhD-Thesis - Research and graduation internal",
school = "Vrije Universiteit Amsterdam",
}