𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A process algebra for probabilistic and nondeterministic processes

✍ Scribed by D. Cazorla; F. Cuartero; V. Valero; F.L. Pelayo

Publisher
Elsevier Science
Year
2001
Tongue
English
Weight
119 KB
Volume
80
Category
Article
ISSN
0020-0190

No coin nor oath required. For personal study only.

✦ Synopsis

We present an algebraic language for the specification of probabilistic and nondeterministic processes, PNAL, which is a probabilistic extension of EPL that maintains nondeterminism.

πŸ“œ SIMILAR VOLUMES

Process algebras for systems diagnosis
Process algebras for systems diagnosis
✍ Luca Console; Claudia Picardi; Marina Ribaudo πŸ“‚ Article πŸ“… 2002 πŸ› Elsevier Science 🌐 English βš– 262 KB
Probabilistic observers for a class of u
Probabilistic observers for a class of uncertain biological processes
✍ B. Chachuat; O. Bernard πŸ“‚ Article πŸ“… 2006 πŸ› John Wiley and Sons 🌐 English βš– 203 KB

## Abstract In this paper, probabilistic observers are considered for a class of continuous biological processes described by mass‐balance‐based models. It is assumed that the probability density functions (PDFs) of the uncertain parameters and inputs of the model, as well as the PDFs of the missin