UCL Discovery
UCL home » Library Services » Electronic resources » UCL Discovery

Probabilistic NetKAT

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 Green open access

[thumbnail of probnetkat.pdf]
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
Downloads since deposit
Loading...
31Downloads
Download activity - last month
Loading...
Download activity - last 12 months
Loading...
Downloads by country - last 12 months
Loading...

Archive Staff Only

View Item View Item