Directed Homotopy in Non-Positively Curved Spaces

A semantics of concurrent programs can be given using precubical sets, in order to study (higher) commutations between the actions, thus encoding the "geometry" of the space of possible executions of the program. Here, we study the particular case of programs using only mutexes, which are the most w...

Szczegółowa specyfikacja

Opis bibliograficzny

Główni autorzy:	Eric Goubault, Samuel Mimram
Format:	Artigo
Język:	Inglês
Wydane:	Logical Methods in Computer Science e.V. 2020-07-01
Seria:	Logical Methods in Computer Science
Hasła przedmiotowe:	computer science - logic in computer science computer science - distributed, parallel, and cluster computing mathematics - algebraic topology 55m99, 68q10 g.0 f.3.2
Dostęp online:	https://lmcs.episciences.org/5731/pdf
Etykiety:	Dodaj etykietę Nie ma etykietki, Dołącz pierwszą etykiete!