• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Timing UDP: Mechanized Semantics for Sockets, Threads, and Failures.

Keith WansbroughMichael NorrishPeter SewellAndrei Serjantov
Published in: ESOP (2002)
Keyphrases
  • tcp ip
  • formal semantics
  • logic programming
  • wireless networks
  • real time
  • rate control
  • databases
  • semantic information
  • end to end
  • video streaming
  • failure rate
  • root cause
  • argumentation semantics