Add to ORKGWe consider the process theory PA that includes an operation for parallel composition, based on the interleaving paradigm. We prove that the standard set of axioms of PA is not ω-complete by providing a set of axioms that are valid in PA, but not derivable from the standard ones. We prove that extending PA with this set yields an ω-complete specification, which is finite in a setting with finitely many actions
Van Glabbeek (1990) presented the linear time/branching time spectrum of behavioral equivalences for...
Abstract This paper confirms a conjecture of Bergstra and Klop¿s from 1984 by establishing that the ...
This paper surveys some classic and recent results on the finite axiomatizability of bisimilarity ov...
We consider the process theory PA that includes an operation for parallel composition, based on the ...
textabstractWe consider the process theory $PA$ that includes an operation for parallel composition...
This paper studies the existence of finite equational axiomatisations of the interleaving parallel c...
This essay recounts the story of the quest for equational axiomatizations of parallel composition op...
This essay recounts the story of the quest for equational axiomatizations of parallel composition op...
AbstractThis essay recounts the story of the quest for equational axiomatizations of parallel compos...
In process algebras such as ACP (Algebra of Communicating Processes), parallel processes are conside...
This note shows that split-2 bisimulation equivalence (also known as timed equivalence) affords a fi...
Abstract. Van Glabbeek (1990) presented the linear time/branching time spectrum of behavioral equiva...
This paper presents a general technique for obtaining new results pertaining to the non-finite axiom...
Van Glabbeek (1990) presented the linear time/branching time spectrum of behavioral equivalences for...
Abstract This paper confirms a conjecture of Bergstra and Klop¿s from 1984 by establishing that the ...
This paper surveys some classic and recent results on the finite axiomatizability of bisimilarity ov...
We consider the process theory PA that includes an operation for parallel composition, based on the ...
textabstractWe consider the process theory $PA$ that includes an operation for parallel composition...
This paper studies the existence of finite equational axiomatisations of the interleaving parallel c...
This essay recounts the story of the quest for equational axiomatizations of parallel composition op...
This essay recounts the story of the quest for equational axiomatizations of parallel composition op...
AbstractThis essay recounts the story of the quest for equational axiomatizations of parallel compos...
In process algebras such as ACP (Algebra of Communicating Processes), parallel processes are conside...
This note shows that split-2 bisimulation equivalence (also known as timed equivalence) affords a fi...
Abstract. Van Glabbeek (1990) presented the linear time/branching time spectrum of behavioral equiva...
This paper presents a general technique for obtaining new results pertaining to the non-finite axiom...
Van Glabbeek (1990) presented the linear time/branching time spectrum of behavioral equivalences for...
Abstract This paper confirms a conjecture of Bergstra and Klop¿s from 1984 by establishing that the ...
This paper surveys some classic and recent results on the finite axiomatizability of bisimilarity ov...