𝔖 Bobbio Scriptorium
✦   LIBER   ✦

PAM: A process algebra manipulator

✍ Scribed by Huimin Lin

Publisher
Springer
Year
1995
Tongue
English
Weight
899 KB
Volume
7
Category
Article
ISSN
0925-9856

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A bulk-synchronous parallel process alge
A bulk-synchronous parallel process algebra
✍ Armelle Merlin; GaΓ©tan Hains πŸ“‚ Article πŸ“… 2007 πŸ› Elsevier Science 🌐 English βš– 401 KB

The calculus of communicating systems (CCS) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness in protocols or distributed programs. In more recent work, it is used for the analysis of security properties. Bulk-synchr

Process algebra and conditional composit
Process algebra and conditional composition
✍ Jan A. Bergstra; Alban Ponse πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 118 KB

We discern three non-classical truth values, and define a five-valued propositional logic. We combine this logic with process algebra via conditional composition (i.e., if-then-else-). In particular, the choice operation (+) is regarded as a special case of conditional composition. We present an ope

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.