Article,
Petr4: formal foundations for p4 data planes.
R. Doenges, M. Arashloo, S. Bautista, A. Chang, N. Ni, S. Parkinson, R. Peterson, A. Solko-Breslin, A. Xu, and N. Foster.Proc. ACM Program. Lang., 5 (POPL): 1-32 (2021)
Meta data
- BibTeX key
- journals/pacmpl/DoengesABCNPPSX21
- entry type
- article
- year
- 2021
- journal
- Proc. ACM Program. Lang.
- number
- POPL
- pages
- 1-32
- volume
- 5
- ee
- https://doi.org/10.1145/3434322
- url
- http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl5.html#DoengesABCNPPSX21
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Journal Article
%1 journals/pacmpl/DoengesABCNPPSX21
%A Doenges, Ryan
%A Arashloo, Mina Tahmasbi
%A Bautista, Santiago
%A Chang, Alexander
%A Ni, Newton
%A Parkinson, Samwise
%A Peterson, Rudy
%A Solko-Breslin, Alaia
%A Xu, Amanda
%A Foster, Nate
%D 2021
%J Proc. ACM Program. Lang.
%K dblp
%N POPL
%P 1-32
%T Petr4: formal foundations for p4 data planes.
%U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl5.html#DoengesABCNPPSX21
%V 5
@article{journals/pacmpl/DoengesABCNPPSX21,
added-at = {2022-01-08T00:00:00.000+0100},
author = {Doenges, Ryan and Arashloo, Mina Tahmasbi and Bautista, Santiago and Chang, Alexander and Ni, Newton and Parkinson, Samwise and Peterson, Rudy and Solko-Breslin, Alaia and Xu, Amanda and Foster, Nate},
biburl = {https://www.bibsonomy.org/bibtex/256a26259f8a58c0261bc4f63089b96b5/dblp},
ee = {https://doi.org/10.1145/3434322},
interhash = {1fb5d2b5b51c89d8780e1c8b67db7436},
intrahash = {56a26259f8a58c0261bc4f63089b96b5},
journal = {Proc. ACM Program. Lang.},
keywords = {dblp},
number = {POPL},
pages = {1-32},
timestamp = {2024-04-08T09:54:20.000+0200},
title = {Petr4: formal foundations for p4 data planes.},
url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl5.html#DoengesABCNPPSX21},
volume = 5,
year = 2021
}