|
Mathematics 2010
Simplicial models for concurrencyDOI: 10.1016/j.entcs.2012.05.002 Abstract: 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.
|