Daily Archives: December 11, 2024

by Hillel Wayne Consider the 4-step process S = abcd and the 3-step process T = xyz. The processes run concurrently and can interleave at any point, but must execute in sequence. So abxcyzd is a valid interleaving, but baxcyzd is not. Also, steps in different processes can occur simultaneously: abxcyzd is different from a[bx]cyzd. How many valid interleavings are there? I ran into thisContinue reading “Day 11 – Counting up concurrency”