D.: PPNAL: Performance Evaluation in an Algebraic Model for Probabilistic an Non-deterministic (1999)

by F L Pelayo, F Cuartero, V Valero, Cazorla
Venue:Processes, Proceedings of 15th Annual UK Performance Engineering Workshop (UKPEW’99