✦ LIBER ✦

Process algebra and conditional composition

✍ Scribed by Jan A. Bergstra; Alban Ponse

Publisher: Elsevier Science
Year: 2001
Tongue: English
Weight: 118 KB
Volume: 80
Category: Article
ISSN: 0020-0190
DOI: 10.1016/s0020-0190(01)00216-2

No coin nor oath required. For personal study only.

✦ Synopsis

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 operational semantics in SOS-style and some completeness results.

📜 SIMILAR VOLUMES

Hall Numbers and the Composition Algebra

Hall Numbers and the Composition Algebra of the Kronecker Algebra

✍ Csaba Szántó 📂 Article 📅 2006 🏛 Springer Netherlands 🌐 English ⚖ 737 KB

Compositional software verification base

Compositional software verification based on game semantics and process algebra

✍ Aleksandar Dimovski; Ranko Lazić 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 650 KB

Compositional Asymmetric Cooperations fo

Compositional Asymmetric Cooperations for Process Algebras with Probabilities, Priorities, and Time

✍ Mario Bravetti; Marco Bernardo 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 321 KB

Algebraic and essentially algebraic comp

Algebraic and essentially algebraic composition operators onC(X)

✍ Albrecht Böttcher; Harald Heidler 📂 Article 📅 1995 🏛 Springer 🌐 English ⚖ 892 KB

Algebraic and essentially algebraic comp

Algebraic and essentially algebraic composition operators onC(X)

✍ Albrecht Böttcher; Harald Heidler 📂 Article 📅 1994 🏛 Springer 🌐 English ⚖ 50 KB

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.