Gian Luca Cattani, Vladimiro Sassone  Home/Search
Context Related
| dcs.qmw.ac.uk/~vs/c...hdtslics96.ps.gz daimi.aau.dk/ftp/BR...hdtslics96.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: dcs.qmw.ac.uk/~vs/cv/publ (more) From: daimi.aau.dk/ftp/BRICS/Staff/c... (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We introduce the notion of higher dimensional transition systems as a model of concurrency providing an elementary, set-theoretic formalisation of the idea of higher dimensional transition. We show an embedding of the category of higher dimensional transition systems into that of higher dimensional automata which cuts down to an equivalence when we restrict to non-degenerate automata. Moreover, we prove that the natural notion of bisimulation for such structures is a generalisation of the... (Update)
Context of citations to this paper: More
...were used to give an abstract characterisation of the notion of bisimulation that we had devised. The step further that we are making [24] is that of harnessing the machinery presented in Chapter 3 of this thesis for the purpose of the semantics of concurrent processes as...
...transition systems as a bridge model. These are a much simplified, deterministic version of higher dimensional transition systems [3] that we select as the simplest one able to convey our ideas. Concurrent transition systems resemble configuration structures, but are...
Cited by: More
Complete Cuboidal Sets in Axiomatic Domain Theory.. - Fiore, Plotkin, Power (1997) (Correct)
Undecidability of Domino Games - And Hhp-Bisimilarity Marcin (Correct)
Dihomotopy as a Tool in State Space Analysis - Goubault, Raussen (2002) (Correct)
Active bibliography (related documents): More All
0.9: Comparing Transition Systems with Independence and.. - Hildebrandt, Sassone (1996) (Correct)
0.4: Transition Systems with Independence and Multi-Arcs - Hildebrandt, Sassone (1997) (Correct)
0.2: Petri Nets, Configuration Structures and Higher Dimensional.. - van Glabbeek (1999) (Correct)
Similar documents based on text: More All
0.2: A Representation Result for Free Cocompletions - Power, Cattani, Winskel (1999) (Correct)
0.2: A Framework for Concrete Reputation-Systems with.. - Krukow, Nielsen, Sassone (2005) (Correct)
0.2: Weak Bisimulation and Open Maps (Extended Abstract) - Fiore, al. (1999) (Correct)
Related documents from co-citation: More All
16: Homology of Higher-Dimensional Automata - GOUBAULT, JENSEN - 1992
10: Models for Concurrency - Nielsen, Winskel - 1994
9: Categories of Asynchronous Systems (context) - BEDNARCZYK - 1988
BibTeX entry: (Update)
G. CATTANI AND V. SASSONE, Higher Dimensional Transition Systems, Proceedings of LICS'96, IEEE Computer Society Press (1996), 55--62. http://citeseer.ist.psu.edu/cattani96higher.html More
@inproceedings{ cattani96higher,
author = "Gian Luca Cattani and Vladimiro Sassone",
title = "Higher Dimensional Transition Systems",
booktitle = "Logic in Computer Science",
pages = "55-62",
year = "1996",
url = "citeseer.ist.psu.edu/cattani96higher.html" }
Citations (may not include all citations):125 Event Structures (context) - WINSKEL - 1986
97 Information and Computation (context) - MESEGUER, MONTANARI et al. - 1990
54 Modeling Concurrency with Geometry - PRATT - 1991
42 Homology of Higher Dimensional Automata - GOUBAULT, JENSEN - 1992
35 Petri Nets and Step Transition Systems - MUKUND - 1992
27 Configuration Structures - VAN GLABBEEK, PLOTKIN - 1995
16 Refinement of actions in Causality based Models (context) - VAN GLABBEEK, GOLTZ - 1989
15 Domains of Higher Dimensional Automata - GOUBAULT - 1993
9 Local Event Structures and Petri Nets (context) - HOOGERS, KLEIJN et al. - 1993
3 email message sent to the Concurrency mailing list on July (context) - VAN GLABBEEK, higher - 1991
2 Models for Concurrency In Handbook of Logic and the Foundati.. (context) - WINSKEL, NIELSEN - 1995
1 Observing Behaviour Categorically (context) - CHENG, NIELSEN et al. - 1995
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.dcs.qmw.ac.uk/~vs/cv/publ.html): More
CCS Dynamic Bisimulation is Progressing - Montanari, Sassone (1991) (Correct)
Transition Systems with Independence and Multi-Arcs - Hildebrandt, Sassone (1997) (Correct)
Models for Concurrency: Towards a Classification - Sassone, Nielsen, Winskel (1996) (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