Pathway analysis of IMC

Nataliya Skrypnyuk, Flemming Nielson, Henrik Pilegaard

    Research output: Chapter in Book/Report/Conference proceeding › Conference abstract in proceedings › Research

    208 Downloads (Pure)

    Abstract

    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
    Pages7-10
    ISBN (Electronic)978-87-643-0565-4
    Publication statusPublished - 2009
    Event21st Nordic Workshop on Programming Theory - Lyngby, Denmark
    Duration: 14 Dec 2009 → 16 Dec 2009
    Conference number: 21
    http://www2.imm.dtu.dk/projects/nwpt09/venue.html

    Workshop

    Workshop21st Nordic Workshop on Programming Theory
    Number21
    CountryDenmark
    CityLyngby
    Period14/12/2009 → 16/12/2009
    Internet address

    Access to Document

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

      Cite this