An Improved Protocol for the Exactly-N Problem.

Nati Linial Adi Shraibman

Published in: Computational Complexity Conference (2021)

Keyphrases

formal analysis
lightweight
communication protocol
tcp ip
digital libraries
application layer
communication protocols
network protocols
protocol specification
coloured petri nets