Sign in

The UDP Calculus: Rigorous Semantics for Real Networking.

Andrei SerjantovPeter SewellKeith 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