Multisets and Structural Congruence of the pi-Calculus with Replication.

Joost Engelfriet Tjalling Gelsema

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

Keyphrases

structural information
real valued
fault tolerant
distributed databases
structural analysis
formal language
natural deduction
database
real time
data mining
case study
computational intelligence
expressive power
data partitioning
socio technical
rough approximations