Structural Analysis for Stochastic Process Algebra Models

Jie Ding, Jane Hillston

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

Stochastic process algebra models have been successfully used in the area of performance modelling for the last twenty years, and more recently have been adopted for modelling biochemical processes in systems biology. Most research on these modelling formalisms has been on quantitative analysis, particularly the derivation of quantified dynamic information about the system modelled in the face of the state space explosion problem. In this paper we instead consider qualitative analysis, looking at how recent developments to tackle state space explosion in quantified analysis can be also harnessed to establish properties such as freedom from deadlock in an efficient manner.
Original languageEnglish
Title of host publicationAlgebraic Methodology and Software Technology
Subtitle of host publication13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers
EditorsMichael Johnson, Dusko Pavlovic
PublisherSpringer Berlin Heidelberg
Number of pages27
ISBN (Electronic)978-3-642-17796-5
ISBN (Print)978-3-642-17795-8
Publication statusPublished - 2011

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin Heidelberg


Dive into the research topics of 'Structural Analysis for Stochastic Process Algebra Models'. Together they form a unique fingerprint.

Cite this