L. Cardelli, G. Ghelli, and A. D. Gordon. Mobility types for mobile ambients. In Proceedings ICALP'99, volume 1644 of Lecture Notes in Computer Science, pages 230-239. Springer, 1999. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Types for the Ambient Calculus - Luca Cardelli And (2002) (13 citations) Self-citation (Cardelli Ghelli Gordon) (Correct)
No context found.
L. Cardelli, G. Ghelli, and A. D. Gordon. Mobility types for mobile ambients. In Proceedings ICALP'99, volume 1644 of Lecture Notes in Computer Science, pages 230-239. Springer, 1999.
Boxed Ambients with Communication Interfaces - Bonelli, Compagnoni.. (2004) (1 citation) (Correct)
No context found.
Luca Cardelli, Giorgio Ghelli, and Andrew D. Gordon. Mobility Types for Mobile Ambients. In Jiri Wiedermann, Peter van Emde Boas, and Mogens Nielsen, editors, ICALP'99, volume 1644 of LNCS, pages 230--239, Berlin, 1999. Springer-Verlag.
PolyA: True Type Polymorphism for Mobile Ambients - Amtoft, Makholm, Wells (2004) (7 citations) (Correct)
No context found.
L. Cardelli, G. Ghelli, A. D. Gordon. Mobility types for mobile ambients. In J. Wiedermann et al., eds., ICALP'99, vol. 1644 of LNCS. Springer-Verlag, 1999.
PolyA: True Type Polymorphism for Mobile Ambients - Amtoft, Makholm, Wells (2003) (7 citations) (Correct)
No context found.
L. Cardelli, G. Ghelli, A. D. Gordon. Mobility types for mobile ambients. In J. Wiedermann, P. van Emde Boas, M. Nielsen, eds., ICALP'99, vol. 1644 of LNCS. SpringerVerlag, 1999.
PolyA: True Type Polymorphism for Mobile Ambients - Amtoft, Makholm, Wells (2004) (7 citations) (Correct)
No context found.
Cardelli, L., Ghelli, G., and Gordon, A. D. (1999). Mobility types for mobile ambients. In Wiedermann, J., van Emde Boas, P., and Nielsen, M., editors, ICALP'99, volume 1644 of LNCS, pages 230--239. Springer-Verlag. Extended version appears as Microsoft Research Technical Report MSR-TR-99-32, 1999.
Causal Type System for Ambient Movements - Amtoft (2003) (Correct)
No context found.
L. Cardelli, G. Ghelli, and A. D. Gordon. Mobility types for mobile ambients. In J. Wiedermann, P. van Emde Boas, and M. Nielsen, eds., ICALP'99, vol. 1644 of LNCS, pp. 230--239. SpringerVerlag, July
Causal Type System for Ambient Movements - Amtoft (2002) (Correct)
No context found.
L. Cardelli, G. Ghelli, and A. D. Gordon. Mobility types for mobile ambients. In J. Wiedermann, P. van Emde Boas, and M. Nielsen, eds., ICALP'99, vol. 1644 of LNCS, pp. 230--239. Springer-Verlag, July 1999. Extended version appears as Microsoft Research Technical Report MSR-TR-99-32, 1999.
M³: Mobility Types for Mobile Processes in.. - Coppo.. (2002) (Correct)
No context found.
L. Cardelli, G. Ghelli, and A. D. Gordon. Mobility types for mobile ambients. In J. Wiederman, P. van Emde Boas, and M. Nielsen, editors, ICALP'99, volume 1644 of LNCS, pages 230--239, Berlin, 1999. Springer-Verlag.
PolyA: True Type Polymorphism for Mobile Ambients - Amtoft, Makholm, Wells (2003) (7 citations) (Correct)
No context found.
L. Cardelli, G. Ghelli, A. D. Gordon. Mobility types for mobile ambients. In J. Wiedermann, P. van Emde Boas, M. Nielsen, eds., ICALP'99, vol. 1644 of LNCS. Springer-Verlag, 1999. Extended version appears as Microsoft Research Technical Report MSR-TR-99-32, 1999.
The M³ Paradigm - Types and Type Inference.. - Coppo.. (Correct)
No context found.
Luca Cardelli, Giorgio Ghelli, and Andrew D. Gordon. Mobility types for mobile ambients. In J. Wiederman, P. van Emde Boas, and M. Nielsen, editors, ICALP'99, volume 1644 of LNCS, pages 230--239, Berlin, 1999. Springer-Verlag.
A Generic Membrane Model - Boudol (2004) (3 citations) (Correct)
No context found.
L. Cardelli, G. Ghelli, A. Gordon, Mobility types for mobile Ambients, ICALP'99, Lecture Notes in Comput. Sci. 1644 (####) 230-239.
Causal Type System for Ambient Movements - Amtoft (2001) (Correct)
No context found.
L. Cardelli, G. Ghelli, and A. D. Gordon. Mobility types for mobile ambients. In J. Wiedermann, P. van Emde Boas, and M. Nielsen, eds., ICALP'99, vol. 1644 of LNCS, pp. 230-239. Springer-Verlag, July 1999. Extended version appears as Microsoft Research Technical Report MSR-TR-99-32, 1999.
Orderly Communication in the Ambient Calculus - Amtoft, Kfoury, Pericas-Geertsen (2001) (Correct)
No context found.
L. Cardelli, G. Ghelli, and A. D. Gordon. Mobility types for mobile ambients. In J. Wiedermann, P. van Emde Boas, and M. Nielsen, eds., ICALP'99, vol. 1644 of LNCS, pp. 230--239. SpringerVerlag, July
Controlling Security Policies in a Distributed Environment - Martins, Vasconcelos (2004) (1 citation) (Correct)
No context found.
L. Cardelli, G. Ghelli, and A. Gordon. Mobility types for mobile ambients. In Proceedings of ICALP'99, volume 1644 of LNCS, pages 230--239. Springer-Verlag, 1999.
Instant Polymorphic Type Systems for Mobile Process Calculi.. - Makholm, Wells (2005) (2 citations) (Correct)
No context found.
L. Cardelli, G. Ghelli, A. D. Gordon. Mobility types for mobile ambients. In J. Wiedermann, P. van Emde Boas, M. Nielsen, eds., ICALP'99, vol. 1644 of LNCS. Springer-Verlag, 1999.
Unknown - Ist- Dynamic Assembly (Correct)
No context found.
Luca Cardelli, Giorgio Ghelli, and Andrew D. Gordon. Mobility types for mobile ambients. In Jiri Wiedermann, Peter van Emde Boas, and Mogens Nielsen, editors, ICALP'99, volume 1644 of LNCS, pages 230--239. Springer-Verlag, July 1999. Extended version appears as Microsoft Research Technical Report MSR-TR-99-32, 1999.
A Type Inference Algorithm for Secure Ambients - Barbanera.. (2002) (2 citations) (Correct)
No context found.
Luca Cardelli, Giorgio Ghelli, and Andrew D. Gordon. Mobility types for mobile ambients. In ICALP'99, volume 1644 of Lecture Notes in Computer Science, pages 230--239. Springer-Verlag, 1999.
What are Polymorphically-Typed Ambients? - December Torben Amtoft (2001) (Correct)
No context found.
L. Cardelli, G. Ghelli, and A. D. Gordon. Mobility types for mobile ambients. In J. Wiedermann, P. van Emde Boas, and M. Nielsen, eds., ICALP'99, vol. 1644 of LNCS, pp. 230--239. SpringerVerlag, July
Mobile Processes with Dependent Communication Types and.. - Amtoft, Wells (2002) (7 citations) (Correct)
No context found.
L. Cardelli, G. Ghelli, A. D. Gordon. Mobility types for mobile ambients. In J. Wiedermann, P. van Emde Boas, M. Nielsen, eds., ICALP'99, vol. 1644 of LNCS. Springer-Verlag, 1999.
Instant Polymorphic Type Systems for Mobile Process Calculi.. - Makholm, Wells (2004) (2 citations) (Correct)
No context found.
L. Cardelli, G. Ghelli, A. D. Gordon. Mobility types for mobile ambients. In J. Wiedermann, P. van Emde Boas, M. Nielsen, eds., ICALP'99, vol. 1644 of LNCS. Springer-Verlag, 1999.
What are Polymorphically-Typed Ambients? - December Torben Amtoft (2000) (Correct)
No context found.
L. Cardelli, G. Ghelli, and A. D. Gordon. Mobility types for mobile ambients. In J. Wiedermann, P. van Emde Boas, and M. Nielsen, eds., ICALP'99, vol. 1644 of LNCS, pp. 230--239. SpringerVerlag, July
Orderly Communication in the Ambient Calculus - Amtoft, Kfoury, Pericas-Geertsen (2002) (Correct)
No context found.
Luca Cardelli, Giorgio Ghelli, and Andrew D. Gordon. Mobility types for mobile ambients. In Jiri Wiedermann, Peter van Emde Boas, and Mogens Nielsen, editors, ICALP'99, volume 1644 of LNCS, pages 230--239. Springer-Verlag, July 1999.
Type Inference for Mobile Ambients in Prolog - Giovannetti (2004) (2 citations) (Correct)
No context found.
L. Cardelli, G. Ghelli, and A. D. Gordon. Mobility Types for Mobile Ambients. In ICALP'99, volume 1644 of LNCS, pages 230--239. Springer-Verlag, 1999.
History-Based Access Control for Distributed Processes - Martins, Vasconcelos (Correct)
No context found.
L. Cardelli, G. Ghelli, and A. Gordon. Mobility types for mobile ambients. In Proceedings of ICALP'99, volume 1644 of LNCS, pages 230--239. Springer-Verlag, 1999.
Instant Polymorphic Type Systems for Mobile Process Calculi.. - Makholm, Wells (2004) (2 citations) (Correct)
No context found.
L. Cardelli, G. Ghelli, A. D. Gordon. Mobility types for mobile ambients. In J. Wiedermann, P. van Emde Boas, M. Nielsen, eds., ICALP'99, vol. 1644 of LNCS. Springer-Verlag, 1999.
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