Bounded concurrency
1997 ◽
pp. 198-209
◽