PASTA

6th Workshop on Process Algebra and Stochastically Timed Activities

Proceedings

Queen's Tower at Imperial College
Approximate Analysis of a Network of Fluid Queues
Tony Field and Peter Harrison
A comparison of the ODE Semantics of PEPA with timed continuous Petri nets
Vashti Galpin
On ODEs from PEPA Models
Jie Ding and Jane Hillston
Fluid-flow solutions in PEPA to the state space explosion problem
Richard A. Hayden and Jeremy T. Bradley
Hybrid approximation of stochastic concurrent constraint programs
Luca Bortolussi and Alberto Policriti
Everything you wanted to know about RCAT but were afraid to ask
Peter G. Harrison and Maria G. Vigliotti
From the PEPA reagent-centric view to Bio-PEPA
Federica Ciocchetta and Jane Hillston
Towards a Model of Fair and Unfair Semaphores in MoDeST
Jens Happe
Service-Level Agreements for Service-Oriented Computing
Allan Clark, Stephen Gilmore and Mirco Tribastone
A Revised PEPA Probe Implementation
Allan Clark
PEPA models of Epidemiology
Chris McCaig, Rachel Norman, Kevin O'Reilly and Carron Shankland
Comparing three different simulation methods for solving chemical reaction systems
Luca Cacchiani
Stochastic Bounding of PEPA Models
Michael J.A. Smith
Bottom-Up Beats Top-Down Hands Down
Mirco Tribastone
A peer-to-peer Market for Grid Computing
Uli Harder
Modelling the EpiChord P2P Overlay in an XCAST enabled Network
Mario Kolberg

Maintained by Ashok Argent-Katwala. Last updated at 13:37 UTC, 11th June 2010.