9th Workshop on Process Algebra and Stochastically Timed Activities
9th Workshop on Process Algebra and Stochastically Timed Activities
The Workshop on Process Algebra and Stochastically Timed Activities is an informal meeting on the theme of modelling with stochastic process algebras (SPAs). These process algebras are used in performance modelling of computer and telecommunication systems and also in the verification of computer systems where the duration of activities is approximated by drawing from specified random distributions.
Recently, process algebras such as PEPA have also been applied to modelling biological systems, resulting in the development of the stochastic process algebra, Bio-PEPA. One day of the workshop (Bio-PASTA) is now dedicated to this particular application domain.
Furthermore, an alternative semantics, based on ordinary differential equations (ODEs) has been developed. The PASTA workshop considers both traditional finite-state Markovian models, and continuous-state approximations aimed at tackling the state-space explosion problem. The methods and techniques of interest include solution of Markov models, stochastic simulation and approximation of discrete-state Markov models by continuous or other approaches.
As always, we seek high-quality papers on any aspect of modelling with stochastic process algebras and related formalisms. Topics of interest include, among others:
The Process Algebra and Stochastically Timed Activities workshop seeks to provide a forum for dissemination of the latest ideas in stochastic and deterministic modelling of systems using process algebras. User experience of using the tools and languages is shared and new analysis methods are described.
The workshop seeks to build a community of process algebra modellers with a shared appreciation of how to build reliable models and to solve these for meaningful properties of interest, giving substantial insight into the modelling subject under study. The PASTA workshop is a friendly meeting which encourages positive contributions.
At the PASTA workshop users of process algebras work together with language designers and tool developers to the benefit of all.