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:
CoRR (2005)
Keyphrases
</>
complete axiomatization
neural network
multimedia
situation calculus
database
data sets
computer vision
information systems
knowledge base
high level
database systems
real numbers
finite automata