We propose a combination of Bochvar's strict three-valued logic, McCarthy's sequential three-valued 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-style, and a completeness result for ACP with conditional guard construct and the proposed logic
In standard process algebra, parallel components do not share a common state and communicate through...
Abstract. In this paper we study a special operator for sequential compo-sition, which is dened rela...
AbstractThis paper proposes a modular approach to the algebraic specification of process algebras. T...
We propose a combination of Bochvar's strict three-valued logic, McCarthy's sequential three-valued...
We propose a combination of a fragment of four-valued logic and process algebra. We present an opera...
We propose a combination of Kleene’s three-valued logic and ACP process algebra via the guarded comm...
We propose a combination of Kleene's three-valued logic and ACP process algebra via the guarded...
We distinguish two interpretations for the truth value `undefined' in Kleene's three-valued logic. C...
The authors define the alphabet of finite and infinite terms in ACP/sub tau /, the algebra of commun...
In a previous paper, we presented several extensions of ACP with conditional expressions, including ...
This paper concerns the relation between process algebra and Hoare logic. We introduce an extension ...
Every 7r-calculus expression can be translated to a term in "nannal form ll built from +, input...
We discern three non-classical truth values, and define a five-valued propositional logic. We combin...
The three classical process algebras CCS, CSP and ACP present several differences in their respectiv...
We prove soundness and completeness for some ACP-style concrete, relative-time, discrete-time proces...
In standard process algebra, parallel components do not share a common state and communicate through...
Abstract. In this paper we study a special operator for sequential compo-sition, which is dened rela...
AbstractThis paper proposes a modular approach to the algebraic specification of process algebras. T...
We propose a combination of Bochvar's strict three-valued logic, McCarthy's sequential three-valued...
We propose a combination of a fragment of four-valued logic and process algebra. We present an opera...
We propose a combination of Kleene’s three-valued logic and ACP process algebra via the guarded comm...
We propose a combination of Kleene's three-valued logic and ACP process algebra via the guarded...
We distinguish two interpretations for the truth value `undefined' in Kleene's three-valued logic. C...
The authors define the alphabet of finite and infinite terms in ACP/sub tau /, the algebra of commun...
In a previous paper, we presented several extensions of ACP with conditional expressions, including ...
This paper concerns the relation between process algebra and Hoare logic. We introduce an extension ...
Every 7r-calculus expression can be translated to a term in "nannal form ll built from +, input...
We discern three non-classical truth values, and define a five-valued propositional logic. We combin...
The three classical process algebras CCS, CSP and ACP present several differences in their respectiv...
We prove soundness and completeness for some ACP-style concrete, relative-time, discrete-time proces...
In standard process algebra, parallel components do not share a common state and communicate through...
Abstract. In this paper we study a special operator for sequential compo-sition, which is dened rela...
AbstractThis paper proposes a modular approach to the algebraic specification of process algebras. T...
DOI
Add to ORKG