Skip to content

@cka-models Models of Concurrent Kleene Algebra.

Change the repository type filter

All

    Repositories list

    1 repository

    • ipl2017

      Public
      Isabelle/HOL mechanisation of our IPL 2017 submission: "The Interchange Law: A Principle of Concurrent Programming".
      Isabelle
      •0•0•0•0•Updated Sep 7, 2017Sep 7, 2017