Sign in

Concurrent NetKAT - Modeling and analyzing stateful, concurrent networks.

Jana WagemakerNate FosterTobias KappéDexter KozenJurriaan RotAlexandra Silva
Published in: ESOP (2022)
Keyphrases
  • neural network
  • database
  • network model
  • concurrent programs
  • databases
  • complex systems
  • community structure
  • network analysis
  • mutual exclusion
  • hierarchical reinforcement learning