Third Workshop on Process Algebra and Stochastically Timed Activities
(PASTA Tricolore)

Thursday 10th and Friday 11th June 2004
National e-Science Centre
South College Street
Edinburgh, UK

Participants

1.30pm-2.00pm: Tea/coffee
2.00pm-2.30pm: Iterative Transient State Distribution Calculation in Semi-Markov Processes
Nicholas Dingle, Imperial College London
2.30pm-3.00pm: A tensorial representation for PEPA nets models
Leila Kloul, University of Edinburgh
3.00pm-3.45pm: Tea/coffee
3.45pm-4.45pm: Slaying Vampires
Stephen Gilmore, University of Edinburgh
4.45pm-5.15pm: Matrix Geometric and Spectral Expansion Meh-thods
Harf Zatschler, Imperial College London

9.00-9.30am: Tea/coffee
9.30am-10.00am: Automatically Generating PEPA from Web Service Choreography
Jane Hillston, University of Edinburgh
10.00am-10.30am: Leader election problems in process calculi
Maria Grazia Vigliotti, Imperial College London
10.30am-11.15am: Tea/coffee
11.15am-11.45am: Ants/agents and product form
Nigel Thomas, University of Newcastle
11.45am-12.15pm: SAN models of all optical networks
Joanna Tomasik, Supalec
12.15pm-12.45pm: Modelling BitTorrent
Ashok Argent-Katwala, Imperial College London
1.00pm-2.00pm: Lunch

Jeremy Bradley
Department of Computing,
Imperial College London,
Huxley Building,
180 Queen's Gate, South Kensington,
London SW7 2BZ, UK

Email: jb@doc.ic.ac.uk
Tel: +44 20 7594 8349
Fax: +44 20 7581 8024