Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Compositional Solution of Stochastic Process Algebra Models
 

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

  

Source: Ábrahám, Erika - Fachgruppe Informatik, Rheinisch Westfälische Technische Hochschule Aachen (RWTH)

 

Collections: Computer Technologies and Information Sciences