𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Algebraic theory of probabilistic and nondeterministic processes

✍ Scribed by Diego Cazorla; Fernando Cuartero; Valentı́n Valero; Fernando L. Pelayo; J.José Pardo


Book ID
114414934
Publisher
Elsevier Science
Year
2003
Tongue
English
Weight
410 KB
Volume
55
Category
Article
ISSN
1567-8326

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


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.