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

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