Process algebra with four-valued logic

DSpace/Manakin Repository

Process algebra with four-valued logic
 
Bergstra, J.A.; Ponse, A.
(2000) Journal of applied non-classical logics, volume 10, issue 1, pp. 27 - 53
(Article)
Abstract
We propose a combination of a fragment of four-valued logic and process algebra. We present an operational semantics in SOS-style, and a completeness result for ACP with conditionals and four-valued logic.
Download/Full Text
Open Access version via Utrecht University Repository
 
Keywords: Process Algebra, Many-Valued Logic, Conditional Guard Construct, Conditional Composition
ISSN: 1166-3081
Publisher: Lavoisier
 
See more statistics about this item