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
Thursday 13th June 2002
Laboratory for Foundations of Computer Science
The University of Edinburgh
Edinburgh, UK
|
|
||
| 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 | ||
|
|
||