KLEENES 3-VALUED LOGIC AND PROCESS ALGEBRA

Authors
BERGSTRA JA PONSE A
Citation
Ja. Bergstra et A. Ponse, KLEENES 3-VALUED LOGIC AND PROCESS ALGEBRA, Information processing letters, 67(2), 1998, pp. 95-103
Citations number
16
Categorie Soggetti
Computer Science Information Systems","Computer Science Information Systems
Journal title
Information processing letters → ACNP
ISSN journal
00200190
Volume
67
Issue
2
Year of publication
1998
Pages
95 - 103
Database
ISI
SICI code
0020-0190(1998)67:2<95:K3LAPA>2.0.ZU;2-K
Abstract
We propose a combination of Kleene's three-valued logic and ACP proces s algebra via the guarded command construct. We present an operational semantics in SOS-style, and a completeness result. (C) 1998 Elsevier Science B.V. All rights reserved.