| | |
Summary: Compositional Solution of
Stochastic Process Algebra Models
Von der Fakult¨at f¨ur Mathematik, Informatik und Naturwissenschaften der
Rheinisch-Westf¨alischen Technischen Hochschule Aachen
zur Erlangung des akademischen Grades eines
Doktors der Naturwissenschaften
genehmigte Dissertation
vorgelegt von
Dipl. Inf. (Univ.) Henrik Bohnenkamp
aus
Minden (Westfalen)
Berichter: Universit¨atsprofessor Dr. Ir. Boudewijn R. Haverkort
Universitair Hoofddocent Dr. Ir. Joost-Pieter Katoen
Tag der m¨undlichen Pr¨ufung: 13. Februar 2002
Diese Dissertation ist auf den Internetseiten der Hochschulbibliothek online verf¨ugbar.
iii
Abstract
This dissertation is about the solution of Markovian stochastic process algebra
(SPA) models and the avoidance of the state-space explosion problem. We try
to answer the question whether the compositionality of SPA models can be
|
