2-Nested Simulation is not Finitely Equationally Axiomatizable
2-nested simulation was introduced by Groote and Vaandrager
 as the coarsest equivalence included in completed trace equivalence
for which the tyft/tyxt format is a congruence format. In the linear
time-branching time spectrum of van Glabbeek , 2-nested simulation
is one of the few equivalences for which no finite equational axiomatization
is presented. In this paper we prove that such an axiomatization
does not exist for 2-nested simulation.
Keywords: Concurrency, process algebra, basic CCS, 2-nested simulation,
equational logic, complete axiomatizations.
How to Cite
Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.