Multi-Workshop on Formal Methods in Performance Evaluation and Applications

7th International Workshop on Process Algebra and Performance Modelling (PAPM'99)

Zaragoza, Spain, September 6-10, 1999

Workshop homepage: http://www.dcs.ed.ac.uk/home/jeh/papm99.html

The aim of the workshop is to bring together researchers and practitioners interested in the development and application of process algebra to performance modelling.

Topics of the workshop include:

• process algebras and their application to performance modelling;
• the interplay between functional and performance analysis in a process algebra setting;
• the relationship between stochastic process algebras and other modelling paradigms;
• timed and probabilistic extensions of other formal description techniques that are used for performance evaluation;
• case studies.