Clocks, Dice and Processes

T. Chen

Research output: PhD ThesisPhD Thesis - Research VU, graduation VUAcademic

Original languageEnglish
QualificationPhD
Awarding Institution
  • Vrije Universiteit Amsterdam
Supervisors/Advisors
  • Fokkink, W.J., Supervisor
  • van de Pol, J.C., Supervisor, External person
Award date21 Sep 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

Chen, T. (2009). Clocks, Dice and Processes.
Chen, T.. / Clocks, Dice and Processes. 2009.
@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",
school = "Vrije Universiteit Amsterdam",

}

Chen, T 2009, 'Clocks, Dice and Processes', PhD, Vrije Universiteit Amsterdam.

Clocks, Dice and Processes. / Chen, T.

2009.

Research output: PhD ThesisPhD Thesis - Research VU, graduation VUAcademic

TY - THES

T1 - Clocks, Dice and Processes

AU - Chen, T.

PY - 2009

Y1 - 2009

KW - axiomatization

KW - bisimulation

KW - concurrency

KW - continuous-time Markov chain

KW - equational logic

KW - linear time-branching time spectrum

KW - model checking

KW - probabilistic models

KW - process algebra

KW - timed automata

M3 - PhD Thesis - Research VU, graduation VU

SN - 9789086593392

T3 - IPA dissertation series

ER -

Chen T. Clocks, Dice and Processes. 2009. (IPA dissertation series; 17).