Login / Signup
Communication, and concurrency with logic-based restriction inside a calculus of structures
Luca Roversi
Published in:
CoRR (2012)
Keyphrases
</>
database systems
information sharing
concurrency control
communication cost
expert systems
knowledge representation
communication networks
communication systems
communication overhead
knowledge base
data acquisition
computer networks
communication protocols