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
Contents
Scope of Workshop
The Workshop on Process Algebra and Stochastically Timed Activities is
an informal meeting on the theme of modelling with stochastic process
algebras (SPAs). These process algebras are used in performance
modelling of computer and telecommunication systems and also in the
verification of computer systems where the duration of activities is
approximated by drawing from specified random distributions.
This workshop is devoted to all aspects of such process algebras and
their use. Topics of interest include, among others,
- semantics and theory of SPAs
- comparisons with other modelling formalisms
- methodologies for application of SPAs in system development
- tools to support SPA-based modelling and analysis
- applications and case studies
Workshop location
The workshop will take place in Room 2511 of the James Clerk Maxwell
Building, The University of Edinburgh, King's Buildings, Mayfield
Road, Edinburgh on Thursday 13th June 2002. This
PostScript map shows the location of the building
and other parts of the central area of the city of Edinburgh.
Car parking
We have arranged car parking permission for anyone travelling to the
workshop by car. Please email your car registration number to
Stpehen Gilmore <stg@dcs.ed.ac.uk> to have your car
registered for the day. There is no charge for car parking.
Workshop
attendance
Attendance at the workshop is by invitation only. All members of the
Division of Informatics of the University of Edinburgh are invited to
attend. There is no workshop fee.
Workshop
organisers
|
Stephen Gilmore and Jane Hillston |
Laboratory for Foundations of Computer Science |
The University of Edinburgh |
Edinburgh EH9 3JZ |
Scotland |
|
Email stg@dcs.ed.ac.uk,
jeh@dcs.ed.ac.uk |
Tel +44 131 659 5189, +44 131 659 5199 |
Fax +44 131 667 7209 |