Second Workshop on Process Algebra and Stochastically Timed Activities
(PASTA Secondi Piatti)

Thursday 12th June 2003
Laboratory for Foundations of Computer Science
The University of Edinburgh
Edinburgh, UK

http://homepages.inf.ed.ac.uk/stg/workshops/PASTA/

Opening session

9:30 Semi-Markov PEPA: a contradiction in terms?
Jeremy Bradley
10:15 A framework to compare the Mobile Ambient and the pi-calculus behaviours
Linda Brodo
11:00 Coffee break

Morning session

11:30 Towards compositional model checking of Continuous Time Markov Chains
Paolo Ballarini
12:15 Performance modelling with PEPA nets and PRISM
Marina Ribaudo
1:00 Lunch

Afternoon session

2:00 A survey of the PEPA tools
Stephen Gilmore
2:45 Modelling shared variables in stochastic Petri nets and stochastic process algebras
Richard Hopkins
3:30 Tea break

Closing session

4:00 Aspects of Network Traffic
Uli Harder
4:20 Remembering performance -- a database-backed service for PEPA models
Ashok Argent-Katwala
4:40 Towards an alternative characterisation of Boucherie product form
Nigel Thomas
5:00 Closing remarks
This page maintained by Stephen Gilmore. Last modified: Wed Jun 11 10:25:36 BST 2003