Mathematics – Algebraic Topology
Scientific paper
2007-11-08
Mathematics
Algebraic Topology
23 pages, 1 figure, LaTeX2e ; v2: copy-paste error in Table 2
Scientific paper
It is possible to translate a modified version of K. Worytkiewicz's combinatorial semantics of CCS (Milner's Calculus of Communicating Systems) in terms of labelled precubical sets into a categorical semantics of CCS in terms of labelled flows using a geometric realization functor. It turns out that a satisfactory semantics in terms of flows requires to work directly in their homotopy category since such a semantics requires non-canonical choices for constructing cofibrant replacements, homotopy limits and homotopy colimits. No geometric information is lost since two precubical sets are isomorphic if and only if the associated flows are weakly equivalent. The interest of the categorical semantics is that combinatorics totally disappears. Last but not least, a part of the categorical semantics of CCS goes down to a pure homotopical semantics of CCS using A. Heller's privileged weak limits and colimits. These results can be easily adapted to any other process algebra for any synchronization algebra.
No associations
LandOfFree
Homotopical equivalence of combinatorial and categorical semantics of process algebra 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 Homotopical equivalence of combinatorial and categorical semantics of process algebra, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Homotopical equivalence of combinatorial and categorical semantics of process algebra will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-377973