Operational Semantics for Declarative Networking.

Juan Antonio Navarro Prez, Andrey Rybalchenko

Browse the full PADL paper archive.