Corpus ID: 838959

Kleene Algebra Modulo Theories

@article{Beckett2017KleeneAM,
  title={Kleene Algebra Modulo Theories},
  author={Ryan Beckett and Eric Campbell and Michael Greenberg},
  journal={ArXiv},
  year={2017},
  volume={abs/1707.02894}
}
  • Ryan Beckett, Eric Campbell, Michael Greenberg
  • Published 2017
  • Computer Science
  • ArXiv
  • Kleene algebras with tests (KATs) offer sound, complete, and decidable equational reasoning about regularly structured programs. Since NetKAT demonstrated how well various extensions of KATs apply to computer networks, interest in KATs has increased greatly. Unfortunately, extending a KAT to a particular domain by adding custom primitives, proving its equational theory sound and complete, and coming up with efficient automata-theoretic implementations is still an expert's task. We present a… CONTINUE READING
    2
    Twitter Mentions

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 89 REFERENCES

    Temporal Algebra

    VIEW 1 EXCERPT

    Hypotheses in kleene algebra

    VIEW 2 EXCERPTS

    Some results in dynamic model theory

    VIEW 1 EXCERPT

    Universal coalgebra: a theory of systems

    • J. Rutten
    • Mathematics, Computer Science
    • Theor. Comput. Sci.
    • 2000
    VIEW 1 EXCERPT