A Survey on Counting Networks

In the counting problem, asynchronous concurrent processes repeatedly assign themselves successive values, such as integers or locations in memory