Results 1 
3 of
3
A runtime assertion checker for the Java Modeling Language (JML)
 PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE (SERP ’02), LAS VEGAS
, 2002
"... ..."
BochvarMcCarthy logic and process algebra
 JOURNAL OF FORMAL LOGIC
, 1998
"... We propose a combination of Bochvar’s strict threevalued logic, McCarthy’s sequential threevalued logic, and process algebra via the conditional guard construct. This combination entails the introduction of a new constant meaningless in process algebra. We present an operational semantics in SOS ..."
Abstract

Cited by 6 (3 self)
 Add to MetaCart
We propose a combination of Bochvar’s strict threevalued logic, McCarthy’s sequential threevalued logic, and process algebra via the conditional guard construct. This combination entails the introduction of a new constant meaningless in process algebra. We present an operational semantics in SOSstyle, and a completeness result for ACP with conditional guard construct and the proposed logic.
Process algebra and conditional composition
, 2000
"... We discern three nonclassical truth values, and define a fivevalued propositional logic. We combine this logic with process algebra via conditional composition (i.e., ifthenelse). In particular, the choice operation (+) is regarded as a special case of conditional composition. We present an ope ..."
Abstract
 Add to MetaCart
(Show Context)
We discern three nonclassical truth values, and define a fivevalued propositional logic. We combine this logic with process algebra via conditional composition (i.e., ifthenelse). In particular, the choice operation (+) is regarded as a special case of conditional composition. We present an operational semantics in SOSstyle and some completeness results. 2001 Elsevier Science B.V. All rights reserved.