Quantitative process algebra and performance modelling (PEPA Group) summary http://www.dcs.ed.ac.uk/pepa/ The PEPA group study quantitative formal methods, including, but not limited to, stochastic process algebras such as PEPA. Quantitative models include information about time and probability and allow aspects of system behaviour such as performance, availability and reliability to be analysed. PEPA, Performance Evaluation Process Algebra, was introduced in Hillston’s PhD thesis in 1995 and has since been adopted by researchers and modellers around the world, modelling a wide variety of different types of system. The PEPA Eclipse Plug-in is a development environment for PEPA, supporting Markovian analysis, continuous-space analysis and simulation. The PEPA Eclipse Plug-in is available for free download from the download page: PEPA Eclipse Plug-in Free Downlooad A number of different modelling languages have also been developed within the group including: Bio-PEPA HYPE Paloma CARMA The PEPA group have been involved in a number of EU projects, the most recent of which was the QUANTICOL projecwhich ended in April 2017. Link below: Quanticol Related links PEPA Performance Evaluation Process Algebra This article was published on 2024-12-08
