Foster, N;
Kozen, D;
Mamouras, K;
Reitblatt, M;
Silva, A;
(2016)
Probabilistic NetKAT.
In: Thiemann, P, (ed.)
Programming Languages and Systems: 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, 2-8 April 2016, Proceedings.
(pp. pp. 282-309).
Springer Berlin Heidelberg
Preview |
Text
probnetkat.pdf - Accepted Version Download (435kB) | Preview |
Abstract
This paper presents a new language for network programming based on a probabilistic semantics. We extend the NetKATlanguage with new primitives for expressing probabilistic behaviors and enrich the semantics from one based on deterministic functions to one based on measurable functions on sets of packet histories. We establish fundamental properties of the semantics, prove that it is a conservative extension of the deterministic semantics, show that it satisfies a number of natural equations, and develop a notion of approximation. We present case studies that show how the language can be used to model a diverse collection of scenarios drawn from real-world networks.
Type: | Proceedings paper |
---|---|
Title: | Probabilistic NetKAT |
Event: | ESOP 2016: 25th European Symposium on Programming, held as part of the European Joint Conferences on Theory and Practice of Software, 2-8 April 2016, Eindhoven, The Netherlands |
ISBN-13: | 9783662494974 |
Open access status: | An open access version is available from UCL Discovery |
DOI: | 10.1007/978-3-662-49498-1_12 |
Publisher version: | http://dx.doi.org/10.1007/978-3-662-49498-1_12 |
Language: | English |
Additional information: | Copyright © 2016 Springer-Verlag Berlin Heidelberg. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-662-49498-1_12 |
UCL classification: | UCL UCL > Provost and Vice Provost Offices > UCL BEAMS UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science |
URI: | https://discovery.ucl.ac.uk/id/eprint/1475674 |
Archive Staff Only
View Item |