All Stories

  1. Quasi-Open Bisimilarity with Mismatch is Intuitionistic
  2. Semantics for Specialising Attack Trees based on Linear Logic