Homology of Higher Dimensional Automata (1992)

Cached

Download Links

by Eric Goubault , Thomas P. Jensen
Citations:43 - 11 self

Documents Related by Co-Citation

124 Modeling Concurrency with Geometry – Vaughan Pratt
26 Homotopy and Concurrency – Jeremy Gunawardena - 1994
20 Bisimulations for higher dimensional automata. Email message sent to the Concurrence mailing list on July 7 – Rob J van Glabbeek - 1991
90 Categories of Asynchronous Systems – M A Bednarczyk - 1988
46 Detecting Deadlocks In Concurrent Systems – Lisbeth Fajstrup , Eric Goubault, Martin Raussen - 1998
16 A Tutorial on Algebraic Topology and Distributed Computation – Maurice Herlihy - 1994
236 Modelling Concurrency with Partial Orders – Vaughan Pratt - 1986
140 Generalized FLP impossibility result for t-resilient asynchronous computations – E Borowsky, E Gafni - 1993
263 Event structures – Glynn Winskel - 1986
13 Algebraic Topology and Distributed Computing A Primer – Maurice Herlihy, Sergio Rajsbaum - 1995
170 Winskel G, Petri nets, event structures and domains – M Nielsen, G Plotkin - 1980
115 The Topological Structure of Asynchronous Computability – Maurice Herlihy, Nir Shavit - 1996
11 Schedulers as abstract interpretations of HDA – E Goubault - 1995
46 The Geometry of Concurrency – E Goubault - 1995
23 Higher dimensional transition systems – Gian Luca Cattani - 1996
35 Set Consensus Using Arbitrary Objects – Maurice Herlihy, Sergio Rajsbaum - 1994
1329 A calculus of communicating systems – R Milner - 1980
1533 Distributed Algorithms – N Lynch - 1996
22 Bisimulation semantics for higher dimensional automata – R van Glabbeek - 1991