๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Refinement algebra for probabilistic programs

โœ Scribed by Larissa Meinicke; Kim Solin

Publisher
Springer
Year
2009
Tongue
English
Weight
365 KB
Volume
22
Category
Article
ISSN
0934-5043

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

A process algebra for probabilistic and
A process algebra for probabilistic and nondeterministic processes
โœ 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.