The UDP Calculus: Rigorous Semantics for Real Networking.

Andrei Serjantov Peter Sewell Keith Wansbrough

Published in: TACS (2001)

Keyphrases

real world
real life
semantic information
formal language
knowledge base
database systems
relational databases
high speed
peer to peer
logic programming
model theoretic
computer algebra