An existing axiomatization strategy for process algebras modulo bisimulation semantics can be extended so that it can be applied to other behavioural semantics as well. We study term rewriting properties of the resulting axiomatizations
Van Glabbeek (1990) presented the linear time/branching time spectrum of behavioral equivalences for...
Abstract. Van Glabbeek (1990) presented the linear time/branching time spectrum of behavioral equiva...
The axiom system ACP of [BEK84a] was extended to cliscrete time in [BAB95]. Here we proceed to defin...
An existing axiomatization strategy for process algebras modulo bisimulation semantics can be extend...
An existing axiomatization strategy for process algebras modulo bisimulation semantics can be extend...
AbstractMany process algebras are defined by structural operational semantics (SOS). Indeed, most su...
In this paper, we introduce an extension of the GSOS rule format with predicates such as termination...
Introduction Process algebras, such as CCS [Mil89], CSP [Hoa85], and ACP [JJ85], were developed orig...
We define a class of process algebras with silent step and a generalised operation $gsum{$ that allo...
We discuss a combination of GSOS-type structural operational semantics with explicit termination, th...
AbstractThe complexity of parallel systems has produced a large collection of semantics for processe...
We investigate the relationship between operational semantics, equational semantics, and ready equi...
AbstractWe introduce a GSOS-like rule format for name-passing process calculi. Specifications in thi...
In this paper, we introduce an extension of the GSOS rule format with predicates such as termination...
Abstract. We present a method for decomposing modal formulas for processes with the internal action ...
Van Glabbeek (1990) presented the linear time/branching time spectrum of behavioral equivalences for...
Abstract. Van Glabbeek (1990) presented the linear time/branching time spectrum of behavioral equiva...
The axiom system ACP of [BEK84a] was extended to cliscrete time in [BAB95]. Here we proceed to defin...
An existing axiomatization strategy for process algebras modulo bisimulation semantics can be extend...
An existing axiomatization strategy for process algebras modulo bisimulation semantics can be extend...
AbstractMany process algebras are defined by structural operational semantics (SOS). Indeed, most su...
In this paper, we introduce an extension of the GSOS rule format with predicates such as termination...
Introduction Process algebras, such as CCS [Mil89], CSP [Hoa85], and ACP [JJ85], were developed orig...
We define a class of process algebras with silent step and a generalised operation $gsum{$ that allo...
We discuss a combination of GSOS-type structural operational semantics with explicit termination, th...
AbstractThe complexity of parallel systems has produced a large collection of semantics for processe...
We investigate the relationship between operational semantics, equational semantics, and ready equi...
AbstractWe introduce a GSOS-like rule format for name-passing process calculi. Specifications in thi...
In this paper, we introduce an extension of the GSOS rule format with predicates such as termination...
Abstract. We present a method for decomposing modal formulas for processes with the internal action ...
Van Glabbeek (1990) presented the linear time/branching time spectrum of behavioral equivalences for...
Abstract. Van Glabbeek (1990) presented the linear time/branching time spectrum of behavioral equiva...
The axiom system ACP of [BEK84a] was extended to cliscrete time in [BAB95]. Here we proceed to defin...
DOI
Add to ORKG