Beta 1


Title A Method for Deriving Markov Processes from a Stochastic variant of CCS
Author Herbert, Luke Thomas (Embedded Systems Engineering, Department of Informatics and Mathematical Modeling, Technical University of Denmark, DTU, DK-2800 Kgs. Lyngby, Denmark)
Supervisor Pilegaard, Henrik (Language-Based Technology, Department of Informatics and Mathematical Modeling, Technical University of Denmark, DTU, DK-2800 Kgs. Lyngby, Denmark)
Institution Technical University of Denmark, DTU, DK-2800 Kgs. Lyngby, Denmark
Thesis level Master's thesis
Year 2009
Abstract The goal of the thesis is to establish a method for deriving Markovian processes from a suitable variant of CCS extended with stochastic information. The termination, correctness, and complexity properties of the method are accounted for.
Imprint Technical University of Denmark (DTU) : Kgs. Lyngby, Denmark
Series IMM-M.Sc.-2009-50
Fulltext
Original PDF ep09_50.pdf (1.17 MB)
Admin Creation date: 2009-08-19    Update date: 2010-02-16    Source: dtu    ID: 248273    Original MXD