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.
More recently, process algebras such as PEPA have been applied to modelling biological systems and interpreted via an alternative semantics based on ordinary differential equations (ODEs). The PASTA workshop includes both finite-state Markovian and continuous-state non-Markovian approaches. The methods and techniques of interest include solution of Markov models, stochastic simulation, and numerical integration of ODEs.
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.