See this document in CiteSeerX!

Towards an Algebraic Theory of Typed Mobile Processes  (Make Corrections)  
Yuxin Deng, Davide Sangiorgi



  Home/Search   Context   Related

 
View or download:
pps.jussieu.fr/~yuxin/...axiomshort.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  pps.jussieu.fr/~yuxin/ (more)
Homepages:  Y.Deng  

Rate this article: (best)
  Comment on this article  
(Enter summary)

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