Login / Signup

Formal Abstractions for Packet Scheduling.

Anshuman MohanYunhe LiuNate FosterTobias KappéDexter Kozen
Published in: Proc. ACM Program. Lang. (2023)
Keyphrases
  • packet scheduling
  • wireless networks
  • quality of service
  • wireless channels
  • edge detection
  • wireless communication
  • multimedia
  • resource allocation