Pathway analysis of IMC

Nataliya Skrypnyuk, Flemming Nielson, Henrik Pilegaard

    Research output: Chapter in Book/Report/Conference proceedingConference abstract in proceedingsResearch

    234 Downloads (Pure)


    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.
    Original languageEnglish
    Title of host publication21st Nordic Workshop on Programming Theory : NWPT 2009
    Number of pages106
    Place of PublicationLyngby
    Publication date2009
    ISBN (Electronic)978-87-643-0565-4
    Publication statusPublished - 2009
    Event21st Nordic Workshop on Programming Theory - Lyngby, Denmark
    Duration: 14 Dec 200916 Dec 2009
    Conference number: 21


    Workshop21st Nordic Workshop on Programming Theory
    Internet address


    Dive into the research topics of 'Pathway analysis of IMC'. Together they form a unique fingerprint.

    Cite this