ATP: a Datacenter Approximate Transmission Protocol.

Ke Liu Shin-Yeh Tsai Yiying Zhang

Published in: CoRR (2019)

Keyphrases

lightweight
coloured petri nets
data transmission
formal analysis
communication protocol
automated theorem proving
physical layer
network protocols
protocol stack