Yuxin Deng, Davide Sangiorgi  Home/Search
Context
Related
| pps.jussieu.fr/~yuxin/...axiomshort.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: pps.jussieu.fr/~yuxin/ (more) Homepages: Y.Deng |
Rate this article:      (best)Comment on this article |
Abstract: The impact of types on the algebraic theory of the π-calculus is studied. The type system has capability types. They allow one to distinguish between the ability to read from a channel, to write to a channel, and both to read and to write. They also give rise to a natural and powerful subtyping relation. Two variants... (Update)
Active bibliography (related documents): More All
0.4: Towards an Algebraic Theory of Typed Mobile Processes - Deng, Sangiorgi (2004) (Correct)
0.2: Unique Fixpoint Induction for Mobile Processes - Lin (1995) (Correct)
0.2: Complete Proof Systems for Observation Congruences in.. - Lin (1998) (Correct)
Similar documents based on text: More All
0.3: Ensuring Termination by Typability - Deng, Sangiorgi (Correct)
0.3: Controlling Interference in Ambients - Levi, Sangiorgi (2000) (Correct)
0.2: On Bisimulations for the Asynchronous π-Calculus - Amadio, Castellani, Sangiorgi (1996) (Correct)
BibTeX entry: (Update)
@misc{ deng-towards,
author = "Yuxin Deng and Davide Sangiorgi",
title = "Towards an Algebraic Theory of Typed Mobile Processes",
url = "citeseer.ist.psu.edu/724077.html" }
Citations (may not include all citations):1933 Communication and Concurrency (context) - Milner - 1989 ACM
178 Communicating and Mobile Systems: the #-Calculus (context) - Milner - 1999
167 Resource access control in systems of mobile agents - Hennessy, Riely - 2002 ACM DBLP
116 Mathematical Structures in Computer Science (context) - Pierce, Sangiorgi et al. - 1996
81 calculus: a Theory of Mobile Processes (context) - Sangiorgi, Walker - 2001
54 Testing equivalences for mobile processes (context) - Boreale, De Nicola - 1995
49 A theory of bisimulation for the #-calculus (context) - Sangiorgi - 1996
42 Algebraic theories for name-passing calculi - Parrow, Sangiorgi - 1995 ACM DBLP
22 Bisimulation in name-passing calculi without matching (context) - Boreale, Sangiorgi - 1998 ACM DBLP
16 Typed behavioural equivalences for processes in the presence.. - Hennessy, Rathke - 2004
10 Complete inference systems for weak bisimulation equivalence.. - Lin - 2003
10 Symbolic bisimulation and proof systems for the #-calculus (context) - Lin - 1994
Documents on the same site (http://www.pps.jussieu.fr/~yuxin/): More
Metrics for Action-labelled Quantitative Transition Systems - Deng, Chothia.. (2005) (Correct)
Axiomatizations for Probabilistic Finite-State Behaviors - Deng, Palamidessi (2005) (Correct)
Weak Probabilistic Anonymity - Deng, Palamidessi, Pang (2005) (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