16 citations · 106 across the 22 of their papers we have counts for
1 paper · 1 filter
J. A. Bergstra, C. A. Middelburg
In process algebras such as ACP (Algebra of Communicating Processes), parallel processes are considered to be interleaved in an arbitrary way. In the case of multi-threading as fou…