Simplicial models for concurrency

Details Simplicial models for concurrency Simplicial models for concurrency

2010-11-30

arxiv.org/abs/1011.6599v2

Computer Science

Distributed, Parallel, and Cluster Computing

12 pages, Section 4 from v1 omitted since quasi-category equivalences are too strong: they induce equivalences of path categor

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Simplicial models for concurrency does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Simplicial models for concurrency, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Simplicial models for concurrency will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-445702