From ethane to SDN and beyond.

Martín Casado Nick McKeown Scott Shenker

Published in: Comput. Commun. Rev. (2019)

Keyphrases

process algebra
formal specification
concurrent systems
open source
high level
machine learning
database systems
knowledge acquisition
petri net