PASTA Workshop: Programme

8^th Workshop on Process Algebra and Stochastically Timed Activities

Programme

10:00–11:00: Invited Talk: The hybrid way to fluid-flow approximation; Luca Bortolussi - University of Trieste
11:00–11:30: Coffee + Tea
11:30–12:00: Differential Analysis of PEPA Models; Mirco Tribastone
11:30–12:00: A functional central limit theorem for PEPA; Richard Hayden
12:00–12:30: Qualitative Reasoning of Stochastic Models and the Role of Flux; Jane Hillston
12:30–13:00: A new deadlock checking algorithm for PEPA; Jie Ding
13:00–14:00: Lunch
14:00–14:30: A general result for deriving product-form solutions in Markovian models; Maria Grazia Vigliotti
14:30–15:00: Using ODEs from PEPA models to derive asymptotic solutions for a class of closed queueing networks; Nigel Thomas
15:00–15:30: Response-time Profiles for PEPA models compiled to ODEs; Allan Clark
15:30–16:00: Coffee + Tea
16:00–16:30: Concerning Performance Driven Cryptographic Protocol Development; Nick O'Shea
16:30–17:00: Configuring Service-Oriented Systems using PEPA and AI Planning; Andrew Coles
17:00–17:30: Abstraction and Model Checking in the Eclipse PEPA Plug-In; Michael Smith
19:30…: PASTA dinner in the Forum

9:00–10:00: Invited Talk:; François Fages - INRIA Paris-Rocquencourt
10:00–10:30: Modelling Scaffold-mediated Crosstalk between the cAMP and the Raf-1/MEK/ERK Pathways; Oana Andrei
10:30–11:00: Towards a process-calculi approach to study the evolution of biological networks; Alessandro Romanel
11:00–11:30: Coffee + Tea
11:30–12:00: Spatial extension of the stochastic Pi Calculus; Anton Stefanek
12:00–12:30: How restrictive is the current action decomposition property for compression bisimulation?; Vashti Galpin
12:30–12:45: An overview of the Bio-PEPA Eclipse Plug-in; Adam Duguid
12:45–13:00: Efficient compositional simulation of circadian models using Bio-PEPA; Stephen Gilmore
13:00–14:00: Lunch
14:00–14:30: On the Formalisation of Gradient Diffusion Models of Biological Systems; Andrea Degasperi
14:30–15:00: Modelling the bubonic plague in a prairie dog burrow, a work in progress; Soufiene Benkirane
15:00–15:30: Studying the effects of adding spatiality to a process algebra model; Savi Maharaj
15:30–16:00: From individual behaviour to population dynamics: changing scale in models of superspreaders; Chris McCaig
1600…: Close and off to the pub