Probabilistic NetKAT.

Nate Foster, Dexter Kozen, Konstantinos Mamouras, Mark Reitblatt, Alexandra Silva

Browse the full ESOP paper archive.