Skip to content
@cka-models

Models of Concurrent Kleene Algebra.

Popular repositories Loading

  1. ipl2017 ipl2017 Public

    Isabelle/HOL mechanisation of our IPL 2017 submission: "The Interchange Law: A Principle of Concurrent Programming".

    Isabelle

Repositories

Showing 1 of 1 repositories
  • ipl2017 Public

    Isabelle/HOL mechanisation of our IPL 2017 submission: "The Interchange Law: A Principle of Concurrent Programming".

    cka-models/ipl2017’s past year of commit activity
    Isabelle 0 0 0 0 Updated Sep 7, 2017

Top languages

Loading…

Most used topics

Loading…