Homology of Higher Dimensional Automata (1992)

Cached

Download Links

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

Documents Related by Co-Citation

125 Modeling Concurrency with Geometry – Vaughan Pratt - 1991
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
239 Modelling Concurrency with Partial Orders – Vaughan Pratt - 1986
140 Generalized FLP impossibility result for t-resilient asynchronous computations – E Borowsky, E Gafni - 1993
263 An introduction to event structures – G Winskel - 1989
13 Algebraic Topology and Distributed Computing A Primer – Maurice Herlihy, Sergio Rajsbaum - 1995
170 G.: Petri nets, event structures and domains – M Nielsen, G Plotkin, Winskel - 1981
114 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
1330 A Calculus of Communicating Systems – R Milner - 1980
1534 Distributed Algorithms – N A Lynch - 1996
22 Bisimulation semantics for higher dimensional automata – R van Glabbeek - 1991