Conference paper
Pathway analysis of IMC
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.
Language: | English |
---|---|
Year: | 2009 |
Pages: | 7-10 |
Proceedings: | 21st Nordic Workshop on Programming Theory |
Journal subtitle: | Nwpt 2009 |
ISBN: | 8764305651 and 9788764305654 |
Types: | Conference paper |
ORCIDs: | Nielson, Flemming |