Evaluating Process Algebra Models versus State-oriented Models
This joint project with the University
in Hungary runs from October 1, 2012 to September
30, 2013. It is sponsored by the Stiftung Aktion Österreich-Ungarn
under the contract 85öu8.
The goal of the proposed project is to compare the capabilities of the
probabilistic symbolic model checker PRISM with that of the
performance process algebra PEPA for the purpose of modeling and
analyzing the performance of computing systems.
- Austria: Research Institute for Symbolic Computation
- Hungary: University
Last modified: March 1, 2013