Workshop on Process Algebra and Stochastically Timed Activities (PASTA)

Thursday 13th June 2002
Laboratory for Foundations of Computer Science
The University of Edinburgh
Edinburgh, UK

On-line proceedings

 
Linda Brodo UniversitÓ degli Studi di Verona
  A stochastic pi-calculus semantics for PEPA nets
  Paper in the proceedings and slides from the talk.
 
Le´la Kloul University of Edinburgh
  From SAN to PEPA: A technology transfer
  Paper in the proceedings and slides from the talk.
 
Jeremy Bradley Imperial College, London
  Ants and Agents
  (Based on work by David Sumpter)
  Slides from the talk.
 
Stephen Gilmore The University of Edinburgh
  Software performance design environments
  Paper in the proceedings and slides from the talk.
 
Jane Hillston The University of Edinburgh
  Systematic transformations to find quasi-reversible structures in PEPA models
  Paper in the proceedings and slides from the talk.
 
Nigel Thomas University of Durham
  Behavioural independence and control in PEPA
  Paper in the proceedings
 
Mario Bravetti UniversitÓ di Bologna
  An integrated approach for the specification and analysis of stochastic real-time systems
  Paper in the proceedings