Eric Goubault, Thomas P. Jensen  Home/Search
Context Related
Links: ACM DBLP | irisa.fr/lande/jensen/pap...concur92.ps dmi.ens.fr/~goubault/p...Homology.ps.gz ens.fr/~goubault/paper...Homology.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: irisa.fr/lande/jen...JENSENpapers (more) From: ipipan.gda.pl/~stefan/AlgTop/ (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . Higher dimensional automata can model concurrent computations. The topological structure of the higher dimensional automata determines certain properties of the concurrent computation. We introduce bicomplexes as an algebraic tool for describing these automata and develop a simple homology theory for higher dimensional automata. We then show how the homology of automata has applications in the study of branching-time equivalences of processes such as bisimulation. 1 Introduction Geometry has ... (Update)
Context of citations to this paper: More
.... e.g. transition systems enriched with additional features that make expressing concurrency explicitly possible (cf. e.g. [111, 130, 50, 51, 133, 20]) An important motivation is to find models suitable for giving structural operational semantics to e.g. process calculi that...
.... clarifying the relationship between our approach and the closely related work of Goubault and others on higher dimensional automata [44, 43, 45, 29]. 9.2. FURTHER RESEARCH 221 9.2.2 Higher order process languages As we saw in Chapter 8, the monoidal closed structure (or even...
Cited by: More
Hundreds of Impossibility Results for Distributed Computing - Fich, Ruppert (Correct)
Software Geography: Physical and Economic - Aspects Vaughan Pratt (Correct)
Presheaf Models Concurrency - Cattani (1999) (Correct)
Active bibliography (related documents): More All
0.1: Domains of Higher-Dimensional Automata - Goubault (1993) (Correct)
0.1: Singular Index Pairs - Konstantin Mischaikow School (Correct)
0.1: Euler Characteristics For Links Of Schubert Cells In The Space.. - Shapiro And (1990) (Correct)
Similar documents based on text: More All
0.2: Higher Dimensional Automata Revisited - Vaughan Pratt Department (2000) (Correct)
0.1: Topological Antidotes To The State Space Explosion Problem - Raußen (Correct)
0.1: The Dynamics of Wait-Free Distributed Computations - Goubault (1996) (Correct)
Related documents from co-citation: More All
25: Modeling concurrency with geometry - Pratt - 1991
16: Higher Dimensional Transition Systems - CATTANI, SASSONE - 1996
15: Categories of Asynchronous Systems (context) - BEDNARCZYK - 1988
BibTeX entry: (Update)
E. GOUBAULT AND T. JENSEN, Homology of Higher-Dimensional Automata, Proceedings of CONCUR '92, W.R. Cleaveland (Ed.), LNCS 630 (1992), Springer-Verlag, 254--268. http://citeseer.ist.psu.edu/goubault92homology.html More
@inproceedings{ goubault92homology,
author = "Eric Goubault and Thomas P. Jensen",
title = "Homology of Higher Dimensional Automata",
booktitle = "International Conference on Concurrency Theory",
pages = "254-268",
year = "1992",
url = "citeseer.ist.psu.edu/goubault92homology.html" }
Citations (may not include all citations):1933 Communication and Concurrency (context) - Milner - 1989 ACM
1911 Introduction to Automata Theory (context) - Hopcroft, Ullman - 1979
562 Categories for the working mathematician (context) - Lane - 1971
54 Modeling concurrency with geometry - Pratt - 1991 ACM DBLP
14 Bisimulation semantics for higher dimensional automata (context) - van Glabbeek - 1990
12 Church-rosser property and homology of monoids (context) - Lafont, Prout'e - 1990 DBLP
6 Homology and cohomology theory (context) - Massey - 1978
1 Journal de l'Ecole Polytechnique (context) - Poincar'e
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.irisa.fr/lande/jensen/JENSENpapers.html): More
Clock Analysis of Synchronous Dataflow Programs - Jensen (1995) (Correct)
Flow Analysis in the Geometry of Interaction - Jensen, Mackie (1996) (Correct)
Strictness Analysis in Logical Form - Jensen (1991) (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