Log In

Kleene’s three-valued logic and process algebra

Files

How and where to find an Open Access version of this publication?

Publication date

1998

Authors

Bergstra, J.A.
Ponse, A.

Editors

Advisors

Supervisors

DOI

Document Type

Article

Metadata

Show full item record

Collections

Utrecht University Repository

License

Abstract

We propose a combination of Kleene’s three-valued logic and ACP process algebra via the guarded command construct. We present an operational semantics in SOS-style, and a completeness result.

Keywords

Process algebra, Three-valued logic, Guarded command, Design of algorithms, Concurrency, Formal languages

Citation

URI

http://hdl.handle.net/1874/21426