| Alternate document: Details Presheaf Models for Concurrency (96) Gian Luca Cattani, Glynn Winskel |
Glynn Winskel  Home/Search
Context Related
Links: ACM DBLP | brics.dk/RS/96/Ref...ICSRS9644.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 investigates presheaf models for process calculi with value passing. Denotational semantics in presheaf models are shown to correspond to operational semantics in that bisimulation obtained from open maps is proved to coincide with bisimulation as defined traditionally from the operational semantics. Both "early" and "late" semantics are considered, though the more interesting "late" semantics is emphasised. A presheaf model and denotational semantics is proposed for a... (Update)
Context of citations to this paper: More
.... [JNW96] and weak bisimulation [FCW99] Presheaf models have been given to CCS like languages [CW96] a value passing version of CCS [Win96], and the p calculus [CSW97] An approach towards a theory of domains for concurrency based on presheaf models is presented in [CFW98]...
Cited by: More
Domain Theory for Concurrency - Nygaard (2003) (Correct)
Presheaf Models and Process Calculi - Nygaard (2002) (Correct)
Presheaf semantics for HOPLA - Nygaard (2002) (Correct)
Active bibliography (related documents): More All
0.5: Semantics of Name and Value Passing - Fiore, Turi (2001) (Correct)
0.5: Sheaf Models for Set Theory and Independence Proofs - an.. - Eppenschwandtner (2002) (Correct)
0.3: Categories in Concurrency - Winskel, Nielsen (1997) (Correct)
Similar documents based on text: More All
1.2: Statistical Secrecy and Multi-Bit Commitments - Damgård, Pedersen, Pfitzmann (1996) (Correct)
1.2: The Complexity of Computing the k-ary Composition of a Binary.. - Brodal, Skyum (1996) (Correct)
1.1: A Machine Verified Distributed Sorting Algorithm - Andersen, Harcourt, Prasad (1996) (Correct)
Related documents from co-citation: More All
31: Presheaf models for concurrency - Cattani, Winskel - 1997
21: Models for Concurrency - Nielsen, Winskel - 1994
18: A Theory of Recursive Domains with Applications to Concurrency - Cattani, Fiore et al.
BibTeX entry: (Update)
Winskel, G., A Presheaf Semantics of Value-Passing Processes. In Proceedings of the Seventh International Conference on Concurrency Theory: CONCUR'96, pp.98--114, Lecture Notes in Computer Science vol.1119, 1996. http://citeseer.ist.psu.edu/winskel96presheaf.html More
@inproceedings{ winskel96presheaf,
author = "Glynn Winskel",
title = "A Presheaf Semantics of Value-Passing Processes",
booktitle = "International Conference on Concurrency Theory",
pages = "98-114",
year = "1996",
url = "citeseer.ist.psu.edu/winskel96presheaf.html" }
Citations (may not include all citations):1933 Communication and concurrency (context) - Milner - 1989 ACM
854 Information and Computation (context) - Milner, Parrow et al. - 1992 DBLP
144 Models for concurrency - Winskel, Nielsen
126 Cambridge University Press (context) - Johnstone - 1982
58 Presheaf models for concurrency - Cattani, Winskel - 1996 ACM DBLP
33 A completeness theorem for open maps (context) - Joyal, Moerdijk - 1994 DBLP
24 A theory of communicating processes with value passing (context) - Hennessy, Ingolfsdottir - 1993 ACM DBLP
22 On semantic foundations of applicative multiprogramming (context) - Abramsky - 1983
20 A term model for CCS (context) - Hennessy, Plotkin - 1980 ACM DBLP
10 Geometric theories and databases (context) - Vickers - 1992
8 A fully abstract domain model for the Pi-calculus (context) - Stark - 1996 DBLP
6 A fully abstract model for the Pi-calculus (context) - Fiore, Moggi et al.
5 Handbook of categorical logic (context) - Borceux - 1994
4 A semantic theory for value-passing processes (context) - Ingolfsdottir - 1995
2 LMS Lecture Notes Series (context) - Joyal, Moerdijk - 1995
1 Bisimulation for higher-order process calculi (context) - Sangiori - 1995 ACM DBLP
1 Accepted for a LICS 93 special issue of Information and Comp.. (context) - Joyal, Nielsen et al. - 1994
1 LMS Lecture Notes Series (context) - Adamek, Rosicky - 1994
1 Categories for fixed point semantics (context) - Lehman - 1976
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