Conceptio › Archive › Infoscience Epfl
Infoscience Epflmetadata only

NEST: Network Enforced Session Types

Larsen, Jens Kanstrup et al.
Infoscience Epfl · Other
Open Source ↗
p4, programmable data planes, runtime verification, session types
This document is indexed with metadata only — full text is not available in the archive for this record. Open the official source ↗
Record · ID 367511
Conceptio Open Knowledge Archive — every document is proof-bundled with source, license, and retrieval metadata.