B. C. Pierce. Intersection types and bounded polymorphism. Mathematical Structures in Computer Science, 7(2):129--193, Apr. 1997. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Semantic Subtyping for the π-Calculus - Castagna, De Nicola, Varacca Self-citation (Subtyping) (Correct)
No context found.
B. Pierce and D. Sangiorgi. Typing and subtyping for mobile processes. Mathematical Structures in Computer Science, 6(5), 1996.
Towards an Algebraic Theory of Typed Mobile Processes - Deng, Sangiorgi (2004) Self-citation (Sangiorgi) (Correct)
No context found.
B. C. Pierce and D. Sangiorgi. Typing and subtyping for mobile processes. Mathematical Structures in Computer Science, 6(5):409--454, 1996.
XPi: a typed process calculus for XML messaging - Acciai, Boreale (2004) (1 citation) Self-citation (Process) (Correct)
No context found.
B. Pierce and D. Sangiorgi. Typing and Subtyping for Mobile Process. Mathematical Structures in Computer Science, 6(5), 1996.
Towards an Algebraic Theory of Typed Mobile Processes - Deng, Sangiorgi Self-citation (Sangiorgi) (Correct)
No context found.
B. C. Pierce and D. Sangiorgi. Typing and subtyping for mobile processes. Mathematical Structures in Computer Science, 6(5):409--454, 1996.
Intersection Types and Computational Effects - Rowan Davies Carnegie (Correct)
No context found.
B. C. Pierce. Intersection types and bounded polymorphism. Mathematical Structures in Computer Science, 7(2):129--193, Apr. 1997.
A Calculus for Cryptographic Protocols - The Spi Calculus - Abadi, Gordon (1998) (353 citations) (Correct)
No context found.
B. Pierce and D. Sangiorgi. Typing and subtyping for mobile processes. Mathematical Structures in Computer Science, 6(5):409--453, October 1996.
Secrecy by Typing in Security Protocols - Abadi (1998) (145 citations) (Correct)
No context found.
B. Pierce and D. Sangiorgi. Typing and subtyping for mobile processes. Mathematical Structures in Computer Science, 6(5):409--453, October 1996.
Mobility Types for Mobile Ambients - Cardelli, Ghelli, Gordon (1999) (79 citations) (Correct)
No context found.
B. Pierce and D. Sangiorgi. Typing and subtyping for mobile processes. Mathematical Structures in Computer Science, 6(5):409-- 454, 1996.
A Calculus for Cryptographic Protocols - Lecture Notes Andrew (Correct)
No context found.
Benjamin Pierce and Davide Sangiorgi. Typing and subtyping for mobile processes. Mathematical Structures in Computer Science, 6(5):409--454, 1996. Summary in Proceedings LICS'93, pp. 376--385 (1993).
Secrecy and Group Creation - Luca Cardelli Giorgio (2000) (43 citations) (Correct)
No context found.
B. Pierce and D. Sangiorgi. Typing and subtyping for mobile processes. Mathematical Structures in Computer Science, 6(5):409--454, 1996.
A Distributed Calculus for R ole-Based Access Control - Chiara Braghin Dip (2004) (2 citations) (Correct)
No context found.
B. C. Pierce and D. Sangiorgi. Typing and subtyping for mobile processes. Mathematical Structures in Computer Science, 6(5):409--454, 1996. An extract appeared in Proceedings of LICS '93: 376--385.
Draft, last modified: June 12, 2003 - Towards Tree Of (Correct)
No context found.
Pierce, B. C. and D. Sangiorgi, Typing and subtyping for mobile processes, Mathematical Structures in Computer Science 6 (1996), pp. 409--454, an extract appeared in Proceedings of LICS '93: 376--385.
A Calculus of Bounded Capacities - Barbanera, Bugliesi.. (2003) (384 citations) (Correct)
No context found.
B. Pierce and D. Sangiorgi. Typing and subtyping for mobile processes. Mathematical Structures in Computer Science, 6(5):409--454, 1996.
Typing Migration Control in lsdπ - Martins, Ravara (Correct)
No context found.
B. Pierce and D. Sangiorgi. Typing and subtyping for mobile processes. Mathematical Structures in Computer Science, 6(5):409--454, 1996.
Controlling Security Policies in a Distributed Environment - Martins, Vasconcelos (2004) (1 citation) (Correct)
No context found.
B. Pierce and D. Sangiorgi. Typing and subtyping for mobile processes. Mathematical Structures in Computer Science, 6(5):409--454, 1996. 29 A Proofs
Static Control of Code Migration - Francisco Martins And (Correct)
No context found.
B. Pierce and D. Sangiorgi. Typing and subtyping for mobile processes. Mathematical Structures in Computer Science, 6(5):409--454, 1996.
A Calculus of Bounded Capacities - Barbanera Bugliesi Dezani-Ciancaglini (2003) (384 citations) (Correct)
No context found.
B. Pierce and D. Sangiorgi. Typing and subtyping for mobile processes. Mathematical Structures in Computer Science, 6(5):409--454, 1996.
A Distributed Calculus for R ole-Based Access Control - Chiara Braghin Univ (2004) (2 citations) (Correct)
No context found.
B. C. Pierce and D. Sangiorgi. Typing and subtyping for mobile processes. Mathematical Structures in Computer Science, 6(5):409--454, 1996. An extract appeared in Proceedings of LICS '93: 376--385.
Unknown - (Correct)
No context found.
Benjamin Pierce and Davide Sangiorgi. Typing and subtyping for mobile processes. Mathematical Structures in Computer Science, 6(5):409--454, 1996. Extended abstract in LICS '93.
A Calculus of Bounded Capacities - Barbanera Bugliesi Dezani-Ciancaglini (2003) (384 citations) (Correct)
No context found.
B. Pierce and D. Sangiorgi. Typing and subtyping for mobile processes. Mathematical Structures in Computer Science, 6(5):409--454, 1996.
History-Based Access Control for Distributed Processes - Martins, Vasconcelos (Correct)
No context found.
B. Pierce and D. Sangiorgi. Typing and subtyping for mobile processes. Mathematical Structures in Computer Science, 6(5):409--454, 1996.
A Calculus of Bounded Capacities - Barbanera Bugliesi Dezani-Ciancaglini (2003) (384 citations) (Correct)
No context found.
B. Pierce and D. Sangiorgi. Typing and subtyping for mobile processes. Mathematical Structures in Computer Science, 6(5):409--454, 1996.
Information Flow vs. Resource Access in the Asynchronous.. - Hennessy, Riely (2000) (8 citations) (Correct)
No context found.
Benjamin Pierce and Davide Sangiorgi. Typing and subtyping for mobile processes. Mathematical Structures in Computer Science, 6(5):409-454, 1996. Extended abstract in LICS '93.
Type-Based Information Flow Analysis for the Pi-Calculus - Kobayashi (2003) (2 citations) (Correct)
No context found.
B. Pierce and D. Sangiorgi. Typing and subtyping for mobile processes. Mathematical Structures in Computer Science, 6(5):409--454, 1996.
MIKADO Global Computing Project IST-2001-32222 - Mobile Calculi Based (Correct)
No context found.
B. C. Pierce and D. Sangiorgi. Typing and subtyping for mobile processes. Mathematical Structures in Computer Science, 6(5):409--454, 1996. An extract appeared in Proceedings of LICS '93: 376--385.
First 50 documents Next 50
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