A Finite Equational Base for CCS with Left Merge and Communication Merge.

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

Published in: ICALP (2) (2006)

Keyphrases

neural network
data mining
human computer
equational theories
real time
data sets
information retrieval
computer vision
information systems
information sharing