Clocks, Dice and Processes

T. Chen

Research output: PhD ThesisPhD-Thesis - Research and graduation internal

145 Downloads (Pure)
Original languageEnglish
QualificationPhD
Awarding Institution
  • Vrije Universiteit Amsterdam
Supervisors/Advisors
  • Fokkink, Wan, Supervisor
  • van de Pol, J.C., Supervisor, -
Award date21 Sept 2009
Print ISBNs9789086593392
Publication statusPublished - 2009

Keywords

  • axiomatization
  • bisimulation
  • concurrency
  • continuous-time Markov chain
  • equational logic
  • linear time-branching time spectrum
  • model checking
  • probabilistic models
  • process algebra
  • timed automata

Cite this