1,047 followers
We made some very careful first steps to analyze (1) the interaction of multiple cases of the same process against (2) the cases of other processes. It uses synchronous proclets. See https://t.co/vbp45yrKRH and the demo of Vadim Denisov @icpm2020 https://