Original language | English |
---|---|
Qualification | PhD |
Awarding Institution |
|
Supervisors/Advisors |
|
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