summary of meeting on 29.10
sophiaIC opened this issue · 0 comments
sophiaIC commented
Theo changed the definition of Send and confirmed that the MutedBy relation is acyclic -- as far as model checking is concerned. :-)
We then discussed that we need a more general relation to be acrylic, ie the Obstacle function as described in earlier issues.