PASTA

7th Workshop on Process Algebra and Stochastically Timed Activities

Proceedings

Operational Analysis of Biochemical Systems: Some Preliminary Investigations
Maria-Luisa Guerriero
Modelling tissue-level defence-response to pathogen attacks in plants
Peter Harrison, Maria Vigliotti and John Mansfield
Spatial Modeling in the Attributed Pi Calculus
Mathias John
Modelling population fluctuations in PEPA
Soufiene Benkirane
Process algebra models of population dynamics
Chris McCaig, Rachel Norman and Carron Shankland
Designing a Front-End for Bio-PEPA
Laurence Loewe
Towards a spatial stochastic process algebra
Vashti Galpin
ODE-based general moment approximations for PEPA
Richard Hayden and Jeremy Bradley
Convergence of the fluid approximations of PEPA models
Jie Ding and Jane Hillston
Activity-Guided Abstraction of PEPA Models
Michael Smith
Assault and PEPA
David Thornley
Espresso, A Little Coffee
Allan Clark, Adam Duguid, Stephen Gilmore and Jane Hillston
Extracting Fluid Response times from PEPA models
Jeremy Bradley, Richard Hayden, William Knottenbelt and Tamas Suto

Maintained by Stephen Gilmore & Ashok Argent-Katwala. Last updated at 11:59 BST, 29th July 2008.