|
|
|
|
The PASTA workshop, 2005 |
|
- Two days of talks.
- Invited talks and contributed papers.
- Presentations by domain experts.
|
|
| Wednesday 7th September (Room 2.02, Appleton Tower) |
| 9:45 |
|
Welcome |
| 10:00 |
|
The time/space continuum:
Continuous-time and continuous-space process algebras
|
|
Stephen Gilmore |
| 11:00 |
|
Coffee Break |
| 11:30 |
|
Modelling of packet loss in an asynchronous
packet switch using PEPA
|
|
Wim Vanderbauwhede |
| 12:15 |
|
Process algebra models of a Circadian clock
|
|
Jeremy Bradley |
| 1:00 |
|
Lunch in Room 2.04 |
| 2:00 |
|
Modelling BitTorrent with PEPA
|
|
Adam Duguid |
| 2:45 |
|
Proving probabilistic properties of gossip protocols for systems with an
arbitrary number of processes
|
|
Douglas Graham |
| 3:30 |
|
Coffee Break |
| 4:00 |
|
Probabilistic model checking for games of
imperfect information
|
|
Paolo Ballarini |
| 4:45 |
|
Close |
| 8:00 |
|
Dinner:
Pancho Villa's, 240 Canongate, Edinburgh |
|
Everyone |
|
| Thursday 8th September (Room 2.02, Appleton Tower) |
| 9:30 |
|
PEPA models of Internet worm attacks
|
|
Jane Hillston |
| 10:15 |
|
Density dependent transmission from process
algebra models of disease spread
|
|
Chris McCaig |
| 11:00 |
|
Coffee Break |
| 11:30 |
|
From Interaction Overview Diagrams to PEPA Nets
|
|
Leïla Kloul |
| 12:15 |
|
Fitting general distributions within PEPA terms
|
|
Nil Geisweiller |
| 1:00 |
|
Lunch in Room 2.04 |
| 2:00 |
|
Modelling job allocation where service duration is
unknown |
|
Nigel Thomas |
| 2:45 |
|
PEPA queues
|
|
Ashok Argent-Katwala |
| 3:30 |
|
Coffee Break |
| 4:00 |
|
GRAIL : Grid-enabled performance analysis using
stochastic logics
|
|
Tamas Suto |
| 4:45 |
|
Close |
|
Lunch is served both days at 1:00 in Room 2.04 of the
Appleton Tower.
|
|
