Concurrent Process up to Homotopy (I)

Details Concurrent Process up to Homotopy (I) Concurrent Process up to Homotopy (I)

2003-02-24

arxiv.org/abs/math/0302283v1

C. R. Acad. Sci. Paris Ser. I Math., 336(7):593-596, 2003

Mathematics

Algebraic Topology

English abstract ; French text ; projet de note aux C.R.A.S

Scientific paper

Globular CW-complexes and flows are both geometric models of concurrent processes which allow to model in a precise way the notion of dihomotopy. Dihomotopy is an equivalence relation which preserves computer-scientific properties like the presence or not of deadlock. One constructs an embedding from globular CW-complexes to flows and one proves that two globular CW-complexes are dihomotopic if and only if the corresponding flows are dihomotopic. This note is the first one presenting some of the results of math.AT/0201252.

Affiliated with

Also associated with

No associations

Rating

Concurrent Process up to Homotopy (I) 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 Concurrent Process up to Homotopy (I), we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Concurrent Process up to Homotopy (I) will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-545599