AbstractThis article presents a congruence format, in structural operational semantics, for rooted branching bisimulation equivalence. The format imposes additional requirements on Groote's ntyft format. It extends an earlier format by Bloom with standard notions such as recursion, iteration, predicates, and negative premises
International audienceA standard contextual equivalence for process algebras is strong barbed congru...
AbstractWe present a general and uniform method for defining structural operational semantics (SOS) ...
It was observed by Turi and Plotkin that structural operational semantics can be studied at the leve...
This article presents a congruence format, in structural operational semantics, for rooted branching...
AbstractThis article presents a congruence format, in structural operational semantics, for rooted b...
This article presents a congruence format, in structural operational semantics, for rooted branching...
AbstractIn TCS 146, Bard Bloom presented rule formats for four main notions of bisimulation with sil...
AbstractIn this study, we present rule formats for four main notions of bisimulation with silent mov...
AbstractWe present congruence formats for η- and rooted η-bisimulation equivalence. These formats ar...
AbstractWe present a method for decomposing modal formulas for processes with the internal action τ....
. We proposed a syntactic format, the panth format, for structured operational semantics in which be...
Abstract. We present a method for decomposing modal formulas for processes with the internal action ...
In TCS 146, Bard Bloom presented rule formats for four main notions of bisimulation with silent move...
We prove that rooted divergence-preserving branching bisimilarity is a congruence for the process sp...
AbstractIn this paper we are interested in general properties of classes of transition system specif...
International audienceA standard contextual equivalence for process algebras is strong barbed congru...
AbstractWe present a general and uniform method for defining structural operational semantics (SOS) ...
It was observed by Turi and Plotkin that structural operational semantics can be studied at the leve...
This article presents a congruence format, in structural operational semantics, for rooted branching...
AbstractThis article presents a congruence format, in structural operational semantics, for rooted b...
This article presents a congruence format, in structural operational semantics, for rooted branching...
AbstractIn TCS 146, Bard Bloom presented rule formats for four main notions of bisimulation with sil...
AbstractIn this study, we present rule formats for four main notions of bisimulation with silent mov...
AbstractWe present congruence formats for η- and rooted η-bisimulation equivalence. These formats ar...
AbstractWe present a method for decomposing modal formulas for processes with the internal action τ....
. We proposed a syntactic format, the panth format, for structured operational semantics in which be...
Abstract. We present a method for decomposing modal formulas for processes with the internal action ...
In TCS 146, Bard Bloom presented rule formats for four main notions of bisimulation with silent move...
We prove that rooted divergence-preserving branching bisimilarity is a congruence for the process sp...
AbstractIn this paper we are interested in general properties of classes of transition system specif...
International audienceA standard contextual equivalence for process algebras is strong barbed congru...
AbstractWe present a general and uniform method for defining structural operational semantics (SOS) ...
It was observed by Turi and Plotkin that structural operational semantics can be studied at the leve...
DOI
Add to ORKG