Gian Luca Cattani, Glynn Winskel  Home/Search
Context Related
| brics.dk/Staff/cattani/premc.ps.gz daimi.aau.dk/ftp/BRICS/St...premc.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: brics.dk/~luca/premc (more) From: daimi.aau.dk/ftp/BRICS/Staff/c... (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper studies presheaf models for concurrent computation. An aim is to harness the general machinery around presheaves for the purposes of process calculi. Traditional models like synchronisation trees and event structures have been shown to embed fully and faithfully in particular presheaf models in such a way that bisimulation, expressed through the presence of a span of open maps, is conserved. As is shown in the work of Joyal and Moerdijk, presheaves are rich in constructions which... (Update)
Cited by: More
Models for Name-Passing Processes: Interleaving and Causal.. - Cattani, Sewell (2000) (Correct)
A Formal Calculus for Categories - Caccamo (2003) (Correct)
Domain Theory for Concurrency - Nygaard (2003) (Correct)
Similar documents (at the sentence level):
58.4%: Presheaf Models for Concurrency - Cattani, Winskel (1996) (Correct)
10.8%: Presheaf Models for CCS-like Languages - Cattani, Winskel (1999) (Correct)
5.6%: Presheaf Models Concurrency - Cattani (1999) (Correct)
Active bibliography (related documents): More All
0.2: Combining Effects: Sum and Tensor - Hyland, Plotkin, Power (Correct)
0.2: Combining Continuations with Other Effects - Hyland, Levy, Plotkin, Power (Correct)
0.2: On the Semantics of Message Passing Processes - Errington (1999) (Correct)
Similar documents based on text: More All
0.7: Towards an Operational Understanding of Presheaf Models - Nygaard (2001) (Correct)
0.6: Coalgebra Morphisms Subsume Open Maps - Lasota (1999) (Correct)
0.6: Presheaf Models for the pi-Calculus - Cattani, Stark, Winskel (1997) (Correct)
Related documents from co-citation: More All
40: Information and Computation (context) - Joyal, Nielsen et al. - 1996
39: Models for Concurrency - Nielsen, Winskel - 1994
32: Categories for the Working Mathematician (context) - Lane - 1971
BibTeX entry: (Update)
G. L. Cattani and G. Winskel. Presheaf models for concurrency. In CSL'96, volume 1258 of LNCS, pages 58--75. Springer, 1997. http://citeseer.ist.psu.edu/article/cattani97presheaf.html More
@inproceedings{ cattani96presheaf,
author = "Gian Luca Cattani and Glynn Winskel",
title = "Presheaf Models for Concurrency",
booktitle = "{CSL}",
pages = "58--75",
year = "1996",
url = "citeseer.ist.psu.edu/article/cattani97presheaf.html" }
Citations (may not include all citations):562 Categories for the Working Mathematician (context) - Lane - 1971
168 Theoretical Computer Science (context) - Nielsen, Winskel - 1996
144 Models for Concurrency - Winskel, Nielsen - 1995
83 Sheaves in Geometry and Logic (context) - Lane, Moerdijk - 1992
59 Axiomatic Domain Theory in Categories of Partial Maps (context) - Fiore - 1996
58 Equivalence notions for concurrent systems and refinement of.. (context) - van Glabbeek, Goltz - 1989
33 A completeness theorem for open maps (context) - Joyal, Moerdijk - 1994
27 A Presheaf Semantics of Value-Passing Processes - Winskel - 1996
23 Bisimulation from open maps - Joyal, Nielsen et al. - 1996
19 Encyclopedia of Mathematics and its Applications (context) - Borceux - 1994
19 Hereditary history preserving bisimulation or what is the po.. - Bednarczyk - 1991
14 A Fully-Abstract Model for the ß-calculus (context) - Fiore, Moggi et al. - 1996
13 A Fully Abstract Domain Model for the ß-Calculus (context) - Stark - 1996
10 Behaviour structures and nets (context) - Rabinovitch, Traktenbrot - 1988
10 Algebraic Completeness and Compactness in an Enriched Settin.. (context) - Plotkin - 1995
4 London Mathematical Society Lecture Note Series (context) - Ad'amek, Rosicky - 1994
2 Report Series RS (context) - Cheng, Nielsen - 1996
1 This article was processed using L A T E Xmacro package with.. (context) - Wyler - 1991
The graph only includes citing articles where the year of publication is known.
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