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.
690 followers
7,729 followers
New method for model discovery based on transition system decomposition by @AnnaKalenkova, @ilomazova and @wvdaalst http://t.co/pGjwy0xWws
437 followers
New method for model discovery based on transition system decomposition by @AnnaKalenkova, @ilomazova and @wvdaalst http://t.co/pGjwy0xWws
212 followers
New method for model discovery based on transition system decomposition by @AnnaKalenkova, @ilomazova and @wvdaalst http://t.co/pGjwy0xWws