Process algebra with four-valued logic
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 logicSimilar works
Full text
Last time updated on 14/06/2016
This paper was published in Utrecht University Repository.
Having an issue?
Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.