Network Conscious π-calculus: A Concurrent Semantics.

Ugo Montanari Matteo Sammartino

Published in: MFPS (2012)

Keyphrases

computer networks
network model
graphical representation
database
network structure
formal semantics
database query languages
network traffic
heterogeneous networks
algebraic structure
neural network
wireless sensor networks
logic programming
intrusion detection
deductive databases