713 followers
Great work by Karsten Wolf (https://t.co/FIOpoHrpfu and https://t.co/ncvIpBluNp) on computing our #concurrency and #causality 4C behavioral relations of dynamic systems (https://t.co/hn0bNl5MOF) via non-trivial reductions to #modelchecking.