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.
744 followers
294 followers
Woop, my old side project was cited and used by 'Petri nets using parallel computing': https://t.co/Sgv185S8di / https://t.co/ZsCcfJJik1
744 followers
The paper on model checking concurrency and causality (i.e., the 4C spectrum) by Karsten Wolf is already online: https://t.co/FIOpoHrpfu
78 followers
RT @wvdaalst: Proceedings of Petri net conference in Zaragoza already available https://t.co/7kfwweW1z8 #PetriNets2017 ----- Visit https://…