%0 Journal Article %T Simplicial models for concurrency %A Peter Bubenik %J Mathematics %D 2010 %I arXiv %R 10.1016/j.entcs.2012.05.002 %X 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. %U http://arxiv.org/abs/1011.6599v2