Process algebra with four-valued logic
Publication date
2000
Authors
Bergstra, J.A.
Ponse, A.
Editors
Advisors
Supervisors
DOI
Document Type
Article
Metadata
Show full item recordCollections
License
No license information available
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.
Keywords
Process Algebra, Many-Valued Logic, Conditional Guard Construct, Conditional Composition