Gian Luca Cattani, Glynn Winskel  Home/Search
Context Related
Links: ACM DBLP | brics.dk/RS/96/Ref...ICSRS9635.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/RS/96/Ref/BRICSRS96... (more) (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... (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):
68.2%: Presheaf Models for Concurrency - Cattani, Winskel (1997) (Correct)
11.6%: Presheaf Models for CCS-like Languages - Cattani, Winskel (1999) (Correct)
6.5%: 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: A Theory of Recursive Domains with Applications to Concurrency - Cattani, Fiore, Winskel (1997) (Correct)
Similar documents based on text: More All
1.1: Presheaf Models for the pi-Calculus - Cattani, Stark, Winskel (1997) (Correct)
1.1: A Categorical Axiomatics for Bisimulation - Cattani, Power, Winskel (1998) (Correct)
1.1: Statistical Secrecy and Multi-Bit Commitments - Damgård, Pedersen, Pfitzmann (1996) (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/cattani96presheaf.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/cattani96presheaf.html" }
Citations (may not include all citations):168 Theoretical Computer Science (context) - Nielsen, Winskel - 1996 ACM
144 Models for concurrency - Winskel, Nielsen
59 Axiomatic Domain Theory in Categories of Partial Maps (context) - Fiore ACM
58 Equivalence notions for concurrent systems and refinement of.. (context) - van Glabbeek, Goltz
33 A completeness theorem for open maps (context) - Joyal, Moerdijk - 1994 DBLP
27 A Presheaf Semantics of Value-Passing Processes - Winskel - 1996 ACM DBLP
23 Bisimulation from open maps - Joyal, Nielsen et al. - 1996 DBLP
20 A Fully Abstract Domain Model for the -Calculus (context) - Stark - 1996
19 Encyclopedia of Mathematics and its Applications (context) - Borceux - 1994 ACM
19 Hereditary history preserving bisimulation or what is the po.. - Bednarczyk - 1991
17 A Fully-Abstract Model for the -calculus (context) - Fiore, Moggi et al. - 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
2 Report Series RS (context) - Cheng, Nielsen - 1996
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.brics.dk/RS/96/Ref/BRICS-RS-96-Ref/): More
On a Question of A. Salomaa: The Equational Theory of.. - Aceto, Fokkink.. (1996) (Correct)
Proof of a Conjecture of S. Mac Lane - Soloviev (1996) (Correct)
Compositional and Symbolic Model-Checking of Real-Time Systems - Larson, Pettersson, Yi (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