Semantic Scholar Open Access 2003 11 sitasi

Concurrent Process up to Homotopy (I)

P. Gaucher

Lihat Sumber DOI

Abstrak

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.

Topik & Kata Kunci

Mathematics

Penulis (1)

P. Gaucher

Format Sitasi

APA MLA BibTeX

Gaucher, P. (2003). Concurrent Process up to Homotopy (I). https://doi.org/10.1016/S1631-073X(03)00118-3

Akses Cepat

Lihat di Sumber doi.org/10.1016/S1631-073X(03)00118-3

Informasi Jurnal

Tahun Terbit: 2003
Bahasa: en
Total Sitasi: 11×
Sumber Database: Semantic Scholar
DOI: 10.1016/S1631-073X(03)00118-3
Akses: Open Access ✓