Pathway analysis of IMC

Publication: ResearchConference abstract in proceedings – Annual report year: 2009

Documents

NullPointerException

View graph of relations

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
Title21st Nordic Workshop on Programming Theory : NWPT 2009
Number of pages106
Place of publicationLyngby
Publication date2009
Pages7-10
ISBN (electronic)978-87-643-0565-4
StatePublished

Workshop

Workshop21st Nordic Workshop on Programming Theory
Number21
CountryDenmark
CityLyngby
Period14/12/0916/12/09
Internet addresshttp://www2.imm.dtu.dk/projects/nwpt09/venue.html
Download as:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word

Download statistics

No data available

ID: 4122200