A process algebra for probabilistic and
✍
D. Cazorla; F. Cuartero; V. Valero; F.L. Pelayo
📂
Article
📅
2001
🏛
Elsevier Science
🌐
English
⚖ 119 KB
We present an algebraic language for the specification of probabilistic and nondeterministic processes, PNAL, which is a probabilistic extension of EPL that maintains nondeterminism.