Christian Johansen

Tag: Draft

  • Posets with Interfaces

    —

    by

    christian@johansenresearch.info
    in ,

    After quite some time, we have released a long version of our work on “Posets with Interfaces for Concurrent Kleene Algebra“, co-authored with Uli Fahrenberg, Georg Struth, and Krzysztof Ziemiański, which is now being reviewed for a journal. Abstract: We introduce posets with interfaces (iposets) and generalise the serial composition of posets to a new…