A generalization of ACP using Belnap’s logic |
| |
Authors: | Alban Ponse Mark B. van der Zwaag |
| |
Affiliation: | aProgramming Research Group, University of Amsterdam, Kruislaan 403, 1098 SJ Amsterdam, Netherlands |
| |
Abstract: | ACP is combined with Belnap’s four-valued logic via conditional composition (if–then–else). We show that the operators of ACP can be seen as instances of more general, conditional operators. For example, both the choice operator + and δ (deadlock) can be seen as instances of conditional composition, and the axiom x + δ = x follows from this perspective. Parallel composition is generalized to the binary conditional merge ![phi phi](http://www.sciencedirect.com/scidirimg/entities/3d5.gif) ψ where covers the choice between interleaving and synchronization, and ψ determines the order of execution. The instance B B is ACP’s parallel composition, where B (both) is the truth value that models both true and false in Belnap’s logic. Other instances of this conditional merge are sequential composition, pure interleaving and synchronous merge. We investigate the expression of scheduling strategies in the conditions of the conditional merge. |
| |
Keywords: | Belnap’ s logic Conditional composition Process algebra ACP |
本文献已被 ScienceDirect 等数据库收录! |
|