Publication: Research › Conference abstract in proceedings – Annual report year: 2009
We present the ongoing work on the pathway analysis of a stochastic calculus. Firstly we present a particular stochastic calculus that we have chosen for our modeling - the Interactive Markov Chains calculus, IMC for short. After that we specify a few restrictions that we have introduced into the syntax of IMC in order to make our analysis feasible. Finally we describe the analysis itself together with several theoretical results that we have proved for it.
|Title of host publication||21st Nordic Workshop on Programming Theory : NWPT 2009|
|Number of pages||106|
|Place of publication||Lyngby|
|Workshop||21st Nordic Workshop on Programming Theory|
|Period||14/12/09 → 16/12/09|
Loading map data...
No data available