Reference request: pi-calculus with simultaneous events Posted by Ulrik Rasmussen, at cstheory.stackexchange.com, 25 Aug 2020 I am interested in using the $\pi$-calculus as a basis for modeling workflows, and came up with an extension that proved useful…