Peter Bubenik·2010-12-01·via cs.DC updates on arXiv.org
We model both concurrent programs and the possible executions from one state to another in a concurrent program using simplices. The latter are calculated using necklaces of simplices in the former.