Clocks, Dice and Processes

T. Chen

Clocks, Dice and Processes

T. Chen

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

250 Downloads (Pure)

Original language	English
Qualification	PhD
Awarding Institution	Vrije Universiteit Amsterdam
Supervisors/Advisors	Fokkink, Wan, Supervisor van de Pol, J.C., Supervisor, -
Award date	21 Sept 2009
Print ISBNs	9789086593392
Publication status	Published - 2009

Keywords

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

Access to Document

CoverFinal published version, 1.02 MB
Title pageFinal published version, 13.6 KB
Abstract dutchFinal published version, 38.8 KB
Abstract englishFinal published version, 28.9 KB
Complete dissertationFinal published version, 1.69 MB

Persistent URL (handle)

Persistent link

Cite this

@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",

}

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 and graduation internal

SN - 9789086593392

T3 - IPA dissertation series

ER -