PAPM 2000 8th International Workshop on Process Algebra and Performance Modelling