Zum Inhalt springen

  3. Larsen, Kim G. [VerfasserIn]; Schmid, Stefan [VerfasserIn]; Xue, Bingtian [VerfasserIn] ; Kim G. Larsen and Stefan Schmid and Bingtian Xue [MitwirkendeR]

    WNetKAT: A Weighted SDN Programming and Verification Language

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2017

  4. Kozen, Dexter [VerfasserIn]

    NetKAT: A Formal System for the Verification of Networks

    Videos
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    [Erscheinungsort nicht ermittelbar]: Eidgenössische Technische Hochschule Zürich (ETH Zürich), 2015

    Erschienen in: Kolloquium für Informatik, 2015 ; (Jan. 2015) -

  5. Beckett, Ryan; Greenberg, Michael; Walker, David

    Temporal NetKAT

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Association for Computing Machinery (ACM), 2016

    Erschienen in: ACM SIGPLAN Notices

  9. Smolka, Steffen; Eliopoulos, Spiridon; Foster, Nate; Guha, Arjun

    A fast compiler for NetKAT

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Association for Computing Machinery (ACM), 2015

    Erschienen in: ACM SIGPLAN Notices

  11. Caltais, Georgiana; Hojjat, Hossein; Mousavi, Mohammad Reza; Tunç, Hünkar Can

    Lecture Notes in Computer Science: DyNetKAT: An Algebra of Dynamic Networks

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer International Publishing, 2022

    Erschienen in: Lecture Notes in Computer Science

  12. Wagemaker, Jana; Foster, Nate; Kappé, Tobias; Kozen, Dexter; Rot, Jurriaan; Silva, Alexandra

    Programming Languages and Systems: Concurrent NetKAT : Modeling and analyzing stateful, concurrent networks : Modeling and analyzing stateful, concurrent networks

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer International Publishing, 2022

    Erschienen in: Programming Languages and Systems

  16. Deng, Yuxin; Zhang, Min; Lei, Guoqing

    Formal Methods and Software Engineering: An Algebraic Approach to Automatic Reasoning for NetKAT Based on Its Operational Semantics

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer International Publishing, 2017

    Erschienen in: Formal Methods and Software Engineering