Probabilistic NetKAT (Q2802486)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Probabilistic NetKAT
scientific article

    Statements

    title
    Probabilistic NetKAT (English)
    0 references
    author
    Nate Foster
    0 references
    Dexter Kozen
    0 references
    Konstantinos Mamouras
    0 references
    Mark Reitblatt
    0 references
    Alexandra Silva
    0 references
    publication date
    26 April 2016
    0 references
    describes a project that uses
    NetKAT
    0 references
    Frenetic
    0 references
    VeriFlow
    0 references
    cites work
    NetKAT
    0 references
    Q4484499
    0 references
    Q4114551
    0 references
    Stochastic Relations
    0 references
    Frenetic
    0 references
    Probabilistic NetKAT
    0 references
    Q5799972
    0 references
    A probabilistic PDL
    0 references
    Q4362921
    0 references
    Q3619416
    0 references
    Q5643915
    0 references
    Q3755692
    0 references
    Q4847023
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68N15
    0 references
    68Q55
    0 references
    68Q60
    0 references
    zbMATH DE Number
    6573774
    0 references
    OpenAlex ID
    W2913846715
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2802486&oldid=36244870"
    Powered by MediaWiki