CCS with Hennessy's merge has no finite-equational axiomatization.

Luca Aceto Wan J. Fokkink Anna Ingólfsdóttir Bas Luttik

Published in: Theor. Comput. Sci. (2005)

Keyphrases

equational theories
complete axiomatization
theorem proving
finite number
situation calculus
theorem prover
search algorithm
probability distribution
real time
knowledge base
evolutionary algorithm
general theory
unit length