Add to ORKGThis essay recounts the story of the quest for equational axiomatizations of parallel composition operators in process description languages, and of similar results in the classic field of formal language theory. Some of the outstanding open problems are also mentionedThis essay recounts the story of the quest for equational axiomatizations of parallel composition operators in process description languages, and of similar results in the classic field of formal language theory. Some of the outstanding open problems are also mentione
AbstractThis paper proposes a modular approach to the algebraic specification of process algebras. T...
We introduce a compositional characterization of the operational semantics of equational Horn progra...
AbstractPomsets have been introduced as a model of concurrency. Since a pomset is a string in which ...
AbstractThis essay recounts the story of the quest for equational axiomatizations of parallel compos...
This essay recounts the story of the quest for equational axiomatizations of parallel composition op...
This paper surveys some classic and recent results on the finite axiomatizability of bisimilarity ov...
The problem of designing a component that combined with a known part of a system, conforms to a give...
The problem of designing a component that combined with a known part of a system, conforms to a give...
over languages, that model the problem of synthesizing an unknown component, both in hardware and so...
This paper proposes a parallel programming notation and a method of reasoning about programs with th...
We consider the process theory PA that includes an operation for parallel composition, based on the ...
This paper studies the existence of finite equational axiomatisations of the interleaving parallel c...
textabstractWe consider the process theory $PA$ that includes an operation for parallel composition...
Abstract. Van Glabbeek (1990) presented the linear time/branching time spectrum of behavioral equiva...
Van Glabbeek (1990) presented the linear time/branching time spectrum of behavioral equivalences for...
AbstractThis paper proposes a modular approach to the algebraic specification of process algebras. T...
We introduce a compositional characterization of the operational semantics of equational Horn progra...
AbstractPomsets have been introduced as a model of concurrency. Since a pomset is a string in which ...
AbstractThis essay recounts the story of the quest for equational axiomatizations of parallel compos...
This essay recounts the story of the quest for equational axiomatizations of parallel composition op...
This paper surveys some classic and recent results on the finite axiomatizability of bisimilarity ov...
The problem of designing a component that combined with a known part of a system, conforms to a give...
The problem of designing a component that combined with a known part of a system, conforms to a give...
over languages, that model the problem of synthesizing an unknown component, both in hardware and so...
This paper proposes a parallel programming notation and a method of reasoning about programs with th...
We consider the process theory PA that includes an operation for parallel composition, based on the ...
This paper studies the existence of finite equational axiomatisations of the interleaving parallel c...
textabstractWe consider the process theory $PA$ that includes an operation for parallel composition...
Abstract. Van Glabbeek (1990) presented the linear time/branching time spectrum of behavioral equiva...
Van Glabbeek (1990) presented the linear time/branching time spectrum of behavioral equivalences for...
AbstractThis paper proposes a modular approach to the algebraic specification of process algebras. T...
We introduce a compositional characterization of the operational semantics of equational Horn progra...
AbstractPomsets have been introduced as a model of concurrency. Since a pomset is a string in which ...