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.