TY  - RPRT
TI  - Petr4: Formal Foundations for P4 Data Planes
AU  - Ryan Doenges
AU  - Mina Tahmasbi Arashloo
AU  - Santiago Bautista
AU  - Alexander Chang
AU  - Newton Ni
AU  - Samwise Parkinson
AU  - Rudy Peterson
AU  - Alaia Solko-Breslin
AU  - Amanda Xu
AU  - Nate Foster
PY  - 2020
UR  - https://arxiv.org/abs/2011.05948
ID  - 2011.05948
ER  -