Login / Signup
Split-2 bisimilarity has a finite axiomatization over CCS with Hennessy's merge.
Luca Aceto
Wan J. Fokkink
Anna Ingólfsdóttir
Bas Luttik
Published in:
Log. Methods Comput. Sci. (2005)
Keyphrases
</>
complete axiomatization
situation calculus
preprocessing
finite number
information systems
metadata
database systems
bayesian networks