Gian Luca Cattani, Peter Sewell  Home/Search
Context Related
| cl.cam.ac.uk/~pes20/indexing.ps 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: cl.cam.ac.uk/~pes20/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Gian Luca Cattani and Peter Sewell Computer Laboratory, University of Cambridge, England fLuca.Cattani,Peter.Sewellg@cl.cam.ac.uk Abstract We study syntax-free models for name-passing processes. For interleaving semantics, we identify the indexing structure required of an early labelled transition system to support the usual -calculus operations, dening Indexed Labelled Transition Systems. For non-interleaving causal semantics we dene Indexed Labelled Asynchronous Transition Systems, ... (Update)
Context of citations to this paper: More
.... to be a tight correspondence between the coalgebras of our new behaviour for early bisimulation and the indexed labelled transition systems of [7]. We would like to investigate this for sheaves (in the Schanuel topos) rather than presheaves over I. 1. Basic syntactic and...
...syntax. Hoare s work on Communicating Sequential Processes (CSP) Hoa78, Hoa85] and Milner s on Communicating Concurrent Systems (CCS) Mil80, Mil88] addressed the problem of comparing computations in a way that is sensitive to non determinism, and hence distinguishes a...
Cited by: More
Models for Name-Passing Processes: Interleaving and Causal.. - Cattani, Sewell (2000) (Correct)
Semantics of Name and Value Passing - Fiore, Turi (2001) (Correct)
The UDP Calculus: Rigorous Semantics for Real Networking - Serjantov, Sewell, Wansbrough (2001) (Correct)
Similar documents (at the sentence level):
52.7%: Models for Name-Passing Processes: Interleaving and Causal - Cattani, Sewell (2000) (Correct)
Active bibliography (related documents): More All
0.6: Presheaf Models Concurrency - Cattani (1999) (Correct)
0.4: History Dependent Automata - Montanari, Pistore (2001) (Correct)
0.4: Categorical Models for Concurrency: Independence, Fairness and.. - Hildebrandt (2000) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
Related documents from co-citation: More All
7: Information and Computation (context) - Milner, Parrow et al. - 1992
6: Presheaf models for concurrency - Cattani, Winskel - 1997
5: Abstract syntax and variable binding (context) - Fiore, Plotkin et al. - 1999
BibTeX entry: (Update)
G. L. Cattani and P. Sewell. Models for namepassing processes: Interleaving and causal. Technical report, Cambridge University Computer Laboratory, 2000. http://citeseer.ist.psu.edu/cattani00models.html More
@inproceedings{ cattani00models,
author = "Gian Luca Cattani and Peter Sewell",
title = "Models for Name-Passing Processes: Interleaving and Causal",
booktitle = "Logic in Computer Science",
pages = "322-332",
year = "2000",
url = "citeseer.ist.psu.edu/cattani00models.html" }
Citations (may not include all citations):1933 Communication and Concurrency (context) - Milner - 1989
854 Information and Computation (context) - Milner, Parrow et al. - 1992
294 An object calculus for asynchronous communication - Honda, Tokoro - 1991
263 The inductive approach to verifying cryptographic protocols - Paulson - 1998
248 Expressing Mobility (context) - Sangiorgi - 1993
216 Theoretical Computer Science (context) - Milner, Parrow et al. - 1993
144 Models for concurrency - Winskel, Nielsen - 1995
69 Causal trees (context) - Darondeau, Degano - 1989
69 Information and Computation (context) - Joyal, Nielsen et al. - 1996
69 Abstract syntax and variable binding (context) - Fiore, Plotkin et al. - 1999
66 Categories of Asynchronous Systems (context) - Bednarczyk - 1988
66 A new approach to abstract syntax involving binders - Gabbay, Pitts - 1999
65 Sheaves in Geometry and Logic: A First Introduction to Topos.. (context) - Lane, Moerdijk - 1992
59 Semantical analysis of higher-order abstract syntax (context) - Hofmann - 1999
58 Presheaf Models for Concurrency - Cattani - 1999
58 Presheaf models for concurrency - Cattani, Winskel - 1997
54 Testing equivalences for mobile processes (context) - Boreale, De Nicola - 1995
49 A theory of bisimulation for the - calculus (context) - Sangiorgi - 1996
45 Asynchrony and the -calculus (context) - Boudol - 1992
39 Secure composition of insecure components - Sewell, Vitek - 1999
33 Permutation of transitions: an event structure semantics for.. (context) - Boudol, Castellani - 1988
29 Secure composition of untrusted code: Wrappers and causality.. - Sewell, Vitek - 1999
28 On implementations and semantics of a concurrent programming.. - Sewell - 1997
22 Weak bisimulation and open maps - Fiore, Cattani et al. - 1999
21 Non-interleaving semantics for mobile processes - Degano, Priami - 1999
20 A fully abstract domain model for the - calculus (context) - Stark - 1996
20 Partial orderings descriptions and observations of nondeterm.. (context) - Degano, De Nicola et al. - 1988
18 First order axioms for asynchrony - Selinger - 1997
17 Presheaf models for the -calculus - Cattani, Stark et al. - 1997
17 A fullyabstract model for the -calculus (context) - Fiore, Moggi et al. - 1996
16 An introduction to history dependent automata (context) - Montanari, Pistore - 1998
12 A fully abstract semantics for causality in the -calculus (context) - Boreale, Sangiorgi - 1998
11 Comparing locality and causality based equivalences (context) - Kiehn - 1994
10 Behaviour structures and nets (context) - Rabinovitch, Traktenbrot - 1988
10 Theoretical Computer Science (context) - Sangiorgi, internal et al. - 1996
7 Models for namepassing processes: Interleaving and causal - Cattani, Sewell - 2000
7 Generalized OM-bisimulation (context) - Vogler - 1995
6 Equivalence notions for concurrent systems and renement of .. (context) - van Glabbeek, Goltz - 1989
6 Theoretical Computer Science (context) - Shields - 1985
6 Presheaf models for CCS-like languages - Cattani, Winskel - 1999
5 A petri net semantics for - calculus (context) - Busi, Gorrieri - 1995
5 Models for concurrency: towards a classication - Sassone, Nielsen et al. - 1996
4 Concurrent semantics for the -calculus (context) - Montanari, Pistore - 1995
3 the consistency of truly concurrent operational and denotati.. (context) - Degano, De Nicola et al. - 1988
3 Pi calculi (context) - Sewell - 2000
3 Behavioural subtyping in name passing synchronisation trees - Honda - 1999
3 A fully abstract denotational semantics for the -calculus (context) - Hennessy - 1996
2 Causality and true concurrency: A data-ow analysis of the p.. (context) - Jagadeesan, Jagadeesan - 1995
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cl.cam.ac.uk/~pes20/): More
Design Rules and Abstractions (from branching and real time) - Sewell (1996) (Correct)
Global/Local Subtyping for a Distributed π-calculus - Sewell (1997) (Correct)
On Implementations and Semantics of a Concurrent Programming.. - Sewell (1997) (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