Eric Goubault  Home/Search
Context Related
| di.ens.fr/~goubault/pa...stanford.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: di.ens.fr/~gouba...GOUBAULTpapers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Concurrency, i.e. the domain in computer science which deals with parallel (asynchronous) computations, has very strong links with algebraic topology; this is what we are developing in this paper, giving a survey of "geometric" models for concurrency. We show that the properties we want to prove on concurrent systems are stable under some form of deformation, which is almost homotopy. In fact, as the "direction " of time matters, we have to allow deformation only as long as we do not... (Update)
Context of citations to this paper: More
...of the terminal ow 9 6. The homotopy branching space of the cone 11 7. The branching homology of a ow 12 References 14 1. Introduction In [7], the reader will be able to nd a survey of the di erent geometric approaches of concurrency. The model category of ows was introduced in...
...On line version ISSN 1601 7811 COMPONENTS OF THE FUNDAMENTAL CATEGORY ABSTRACT. In this article we study the fundamental category [10, 9] of a partially ordered topological space [15, 12] as arising in e.g. concurrency theory [5] The algebra of dipaths modulo dihomotopy...
Cited by: More
Components of the Fundamental Category - Fajstrup, Goubault, Haucourt.. (2003) (Correct)
A Long Exact Sequence for the Branching Homology - Gaucher (Correct)
Similar documents (at the sentence level):
5.8%: Geometry and Concurrency: A User's Guide - Goubault (2000) (Correct)
Active bibliography (related documents): More All
1.6: Cubical Sets are Generalized Transition Systems - Goubault (2001) (Correct)
1.1: Algebraic Topology And Concurrency - Fajstrup, Goubault, Raußen (1998) (Correct)
1.1: Investigating The Algebraic Structure of Dihomotopy Types - Gaucher (2001) (Correct)
Similar documents based on text: More All
0.3: On the Geometry of Intuitionistic S4 Proofs - Goubault-Larrecq, Goubault (2001) (Correct)
0.1: Simplicial Approximation - Jardine (2004) (Correct)
0.1: Topological Deformation of Higher Dimensional Automata - Gaucher, Goubault (2001) (Correct)
Related documents from co-citation: More All
2: American Mathematical Society (context) - Hovey, categories et al. - 1998
2: A Convenient Category for The Homotopy Theory of Concurrency (context) - Gaucher
2: Concurrent process up to homotopy (context) - Gaucher - 2003
BibTeX entry: (Update)
E. Goubault. Some geometric perspectives in concurrency theory. Homology, Homotopy and Applications, 5(2):p.95-136, 2003. http://citeseer.ist.psu.edu/goubault03some.html More
@misc{ goubault03some,
author = "E. Goubault",
title = "Some geometric perspectives in concurrency theory",
text = "E. Goubault. Some geometric perspectives in concurrency theory. Homology,
Homotopy and Applications, 5(2):p.95-136, 2003.",
year = "2003",
url = "citeseer.ist.psu.edu/goubault03some.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985
1933 Communication and Concurrency (context) - Milner - 1989
718 Distributed Algorithms (context) - Lynch
562 Categories for the working mathematician (context) - Lane - 1971
484 Calculus of Communicating System (context) - Milner - 1980
210 Cooperating Sequential Processes (context) - Dijkstra - 1968
144 Models for concurrency - Winskel, Nielsen
143 Algebraic Topology (context) - Spanier - 1966
96 Simplicial objects in algebraic topology (context) - May - 1967
86 Basic notions of trace theory (context) - Mazurkiewicz - 1988
66 Categories of asynchronous systems (context) - Bednarczyk - 1988
54 Modeling concurrency with geometry - Pratt - 1991
44 Concurrent machines (context) - Shields - 1985
42 Homology of higher-dimensional automata - Goubault, Jensen - 1992
35 Stone Spaces (context) - Johnstone - 1982
33 The algebra of oriented simplexes (context) - Street - 1987
27 Colimit theorems for relative homotopy groups (context) - Brown, Higgins - 1981
24 Detecting deadlocks in concurrent systems - Fajstrup, Goubault et al. - 1998
22 Homotopy and concurrency - Gunawardena - 1994
21 Homotopy invariants of higher dimensional categories and con.. - Gaucher - 2000
19 Sheaves in Geometry and Logic (context) - Maclane, Moerdijk - 1992
15 Domains of higher-dimensional automata - Goubault - 1993
13 Mathematical Structures in Computer Science (context) - Goubault, Geometry - 2000
11 Computing Surveys (context) - Coffman, Elphick et al. - 1971
10 Topology and Order (context) - Nachbin - 1965
10 About the globular homology of higher dimensional automata - Gaucher - 2000
10 Topological deformation of higher dimensional automata - Gaucher, Goubault - 2001
9 Cahiers Topologie G'eom (context) - Brown, Higgins - 1981
8 From concurrency to algebraic topology - Gaucher - 2000
8 The topology of CW-complexes (context) - Lundell, Weingram - 1969
8 Archive of Mathematical Logic (context) - M'etayer - 1994
8 Techniques of Differential Topology in Relativity (context) - Penrose - 1972
8 Chu spaces: Automata with quantum aspects - Pratt - 1994
8 Journal of Pure and Applied Algebra (context) - Brown, Higgins - 1981
8 A primer on algebraic topology and distributed computing (context) - Herlihy, Rajsbaum - 2000
8 Combinatorics of branchings in higher dimensional automata - Gaucher
7 Tensor products of infinity-categories (context) - Steiner - 1991
7 The Geometry of Concurrency (context) - Goubault - 1995
7 Schedulers as abstract interpretations of HDA (context) - Goubault - 1995
5 An intrinsic homotopy theory for simplicial complexes - Grandis - 1999
5 submitted to Theoretical Computer Science (context) - Fajstrup, Goubault et al.
4 Sequencing tasks in multiprocess systems to avoid deadlocks (context) - Shoshani, Coffman
4 Mathematical Structures in Computer Science (context) - Fajstrup - 2000
4 Multiple categories: the equivalence of a globular and a cub.. (context) - Fahd, Brown - 2000
3 Homotopy in concurrent processes - Sokolowski - 1998
3 Categories, Allegories (context) - Freyd, Scedrov - 1990
3 the classification of dipaths in geometric models for concur.. (context) - Raussen - 2000
3 The geometry of sequential computation I: A simplicial geome.. (context) - Basu - 1997
3 Institute of Computer Science (context) - Sokolowski - 1998
2 geometric and combinatorial models of intuitionistic S4 proo.. (context) - Goubault-Larrecq, Goubault - 1999
2 Cubical sets are generalized transition systems - Goubault - 2001
2 Classifying holes of arbitrary dimensions in partially order.. - Sokolowski - 1999
2 Macquarie Mathematics Reports 86-0082 (context) - Aitchison - 1986
2 Syst`emes de transitions finis et s'emantique des processus .. (context) - Arnold - 1992
2 Infinitely running processes with loops from a geometric vie.. (context) - Fajstrup, Sokolowski - 2000
2 Investigation of concurrent processes by means of homotopy f.. - Sokolowski - 1998
1 Calculus of fractions and homotopy theoryNumber 35 in Ergebn.. (context) - Gabriel, Zisman - 1967
1 Volume of multiplicative formulas and provabilityin: J (context) - M'etayer
1 Topological antidotes to the state space esplosion problem (context) - Raussen
1 The geometry of sequential computation II: A simplicial geom.. (context) - Basu - 1997
1 its syntax and semanticsNumber 222 in Advances in Linear Log.. (context) - Girard - 1995
1 Homologie Singuli`ere des Espaces Fibr'es. Applications (context) - Serre - 1951
1 User's guide to spectral sequences (context) - Cleary - 1985
Documents on the same site (http://www.di.ens.fr/~goubault/GOUBAULTpapers.html): More
Algebraic Topology And Concurrency - Fajstrup, Goubault, Raußen (1998) (Correct)
Order-Theoretic, Geometric and Combinatorial Models of.. - Goubault-Larrecq.. (1999) (Correct)
Topological Deformation of Higher Dimensional Automata - Gaucher, Goubault (2001) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC