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/

Proceedings

Semi-Markov PEPA: a contradiction in terms?
Jeremy Bradley
(Slides from the talk)
A framework to compare the Mobile Ambient and the pi-calculus behaviours
Linda Brodo, Pierpaolo Degano and Corrado Priami
(Slides from the talk)
Towards compositional model checking of Continuous Time Markov Chains
Paolo Ballarini and Jane Hillston
(Slides from the talk)
Performance modelling with PEPA nets and PRISM
Stephen Gilmore, Jane Hillston, Leïla Kloul and Marina Ribaudo
(Slides from the talk)
A survey of the PEPA tools
Stephen Gilmore and Jane Hillston
(Slides from the talk)
Modelling shared variables in stochastic Petri nets and stochastic process algebras
Richard Hopkins
(Slides from the talk)
Aspects of Network Traffic
Tony Field, Uli Harder and Peter Harrison
(Slides from the talk)
Remembering performance -- a database-backed service for PEPA models
Ashok Argent-Katwala
(Slides from the talk)
(The PEPAdb Web site)
Towards an alternative characterisation of Boucherie product form
Nigel Thomas
(Slides from the talk)
This page maintained by Stephen Gilmore. Last modified: Wed Jul 23 16:19:14 BST 2003