Structural inclusion in the pi-calculus with replication.

Joost Engelfriet Tjalling Gelsema

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

Keyphrases

fault tolerant
structural information
structural analysis
distributed databases
fault tolerance
artificial intelligence
formal language
computer algebra
information retrieval
learning algorithm
information systems
peer to peer
theorem prover
data partitioning
automated theorem proving
natural deduction