Homotopy in Concurrent Processes

Homotopy in Concurrent Processes (1998)

by Stefan Sokolowski

Citations:

6 - 2 self

150	The topological structure of asynchronous computability. - Herlihy, Shavit - 1999
146	Concurrent program schemes and their interpretations - Mazurkiewicz - 1977
144	Modeling concurrency with geometry - Pratt - 1991
104	Categories of Asynchronous Systems. - Bednarczyk - 1988
51	Homology of higher dimensional automata - Goubault, Jensen - 1992
32	Homotopy and concurrency - Gunawardena - 1994
31	Algebraic spans - Herlihy, Rajsbaum - 1995
21	Bisimulations for higher dimensional automata. Manuscript available electronically as http://theory.stanford.edu/~rvg/hda - Glabbeek - 1991
14	A tutorial on algebraic topology and distributed computation - Herlihy - 1994
12	Algebraic topology and distributed computing: A primer - Herlihy, Rajsbaum - 1995
9	Toward a Topological Characterization of Asynchronous Complexity - Hoest, Shavit - 2006