J. Vitek and G. Castagna. Seal: A Framework for Secure Mobile Computations. In Internet Programming Languages, volume 1686 of LNCS. Springer Verlag, 1999.  Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Using Ambients to Control Resources - Teller, Zimmer, Hirschkoff (2002) (32 citations) (Correct)
No context found.
J. Vitek and G. Castagna. Seal: A Framework for Secure Mobile Computations. In Internet Programming Languages, volume 1686 of LNCS. Springer Verlag, 1999.
Boxed Ambients with Communication Interfaces - Bonelli, Compagnoni.. (2004) (1 citation) (Correct)
No context found.
Giuseppe Castagna and Jan Vitek. Seal: A Framework for Secure Mobile Computations. In Henri E. Bal, Boumediene Belkhouche, and Luca Cardelli, editors, Internet Programming Languages, volume 1686 of LNCS, pages 47--77, Berlin, 1999. Springer-Verlag.
Bisimulation Congruences for Homer - a calculus of.. - Hildebrandt.. (2004) (Correct)
No context found.
Vitek, J., Castagna, G.: Seal: A framework for secure mobile computations. In: Internet Programming Languages. (1999)
Draft, last modified: June 12, 2003 - Towards Tree Of (Correct)
No context found.
Vitek, J. and G. Castagna, Seal: A framework for secure mobile computations, in: H. Bal, B. Belkhouche and L. Cardelli, editors, Internet Programming Languages, LNCS 1686, 1999, pp. 47--77.
A Calculus of Mobile Resources - Jens Chr Godskesen (2002) (1 citation) (Correct)
No context found.
Jan Vitek and Giuseppe Castagna. Seal: A framework for secure mobile computations. In Internet Programming Languages, 1999. A Sketch of the congruence proofs The following lemmas are used establishing the correspondance between the reduction semantics and the transition semantics as expressed by Prop. 1 and 2.
Instant Polymorphic Type Systems for Mobile Process Calculi.. - Makholm, Wells (2005) (2 citations) (Correct)
No context found.
J. Vitek, G. Castagna. Seal: A framework for secure mobile computations. In Internet Programming Languages, vol. 1686 of LNCS. Springer-Verlag, 1999.
A Distributed Object-Oriented Language with Session Types - Dezani-Ciancaglini.. (2005) (Correct)
No context found.
Jan Vitek and Giuseppe Castagna. Seal: A Framework for Secure Mobile Computations. In Internet Programming Languages, 1999.
Communication and Mobility Control in Boxed Ambients - Bugliesi, Crafa, Merro.. (2003) (5 citations) (Correct)
No context found.
J. Vitek and G. Castagna. Seal: A framework for Secure Mobile Computations. In Internet Programming Languages, 1999.
Mobile Processes with Dependent Communication Types and.. - Amtoft, Wells (2002) (7 citations) (Correct)
No context found.
J. Vitek, G. Castagna. Seal: A framework for secure mobile computations. In Internet Programming Languages, vol. 1686 of LNCS. Springer-Verlag, 1999.
Instant Polymorphic Type Systems for Mobile Process Calculi.. - Makholm, Wells (2004) (2 citations) (Correct)
No context found.
J. Vitek, G. Castagna. Seal: A framework for secure mobile computations. In Internet Programming Languages, vol. 1686 of LNCS. Springer-Verlag, 1999.
Typing and Subtyping Mobility in Boxed Ambients - Merro, Sassone (2002) (11 citations) (Correct)
No context found.
J. Vitek and G. Castagna. Seal: A framework for secure mobile computations. In Internet Programming Languages, volume 1686 of Lecture Notes in Computer Science, Springer, 1999.
Communication Interference in Mobile Boxed Ambients - Bugliesi, Crafa, Merro.. (2002) (27 citations) (Correct)
No context found.
J. Vitek and G. Castagna. Seal: A framework for Secure Mobile Computations. In Internet Programming Languages, 1999.
Orderly Communication in the Ambient Calculus - Amtoft, Kfoury, Pericas-Geertsen (2002) (Correct)
No context found.
Jan Vitek and Giuseppe Castagna. Seal: A framework for secure mobile computations. In Internet Programming Languages, volume 1686 of LNCS. Springer-Verlag, 1999.
A Distributed Object-Oriented Language with Session Types - Dezani-Ciancaglini.. (2005) (Correct)
No context found.
Jan Vitek and Giuseppe Castagna. Seal: A Framework for Secure Mobile Computations. In Internet Programming Languages, 1999.
Instant Polymorphic Type Systems for Mobile Process Calculi.. - Makholm, Wells (2004) (2 citations) (Correct)
No context found.
J. Vitek, G. Castagna. Seal: A framework for secure mobile computations. In Internet Programming Languages, vol. 1686 of LNCS. Springer-Verlag, 1999.
A Distributed Object-Oriented Language with Session Types - Dezani-Ciancaglini.. (2005) (Correct)
No context found.
Jan Vitek and Giuseppe Castagna. Seal: A Framework for Secure Mobile Computations. In Internet Programming Languages, 1999.
Mobile Processes with Dependent Communication Types and.. - Amtoft, Wells (2002) (7 citations) (Correct)
No context found.
J. Vitek, G. Castagna. Seal: A framework for secure mobile computations. In Internet Programming Languages, vol. 1686 of LNCS. Springer-Verlag, 1999.
Open Nets, Contexts And Their Properties - De Nicola, Loreti (Correct)
No context found.
J. Vitek and G. Castagna. Seal: A Framework for Secure Mobile Computations. In Internet Programming Languages, number 1686 in Lecture Notes in Computer Science. Springer, 1999.
Encoding Distributed Areas and Local Communication into the.. - Chothia, Stark (2001) (1 citation) (Correct)
No context found.
Giuseppe Castagna and Jan Vitek. Seal: A framework for secure mobile computations. In Internet Programming Languages, Lecture Notes in Computer Science 1686, pages 47--77. Springer-Verlag, 1999.
The Local Area π-Calculus - Chothia (2003) (Correct)
No context found.
Giuseppe Castagna and Jan Vitek. Seal: A Framework for Secure Mobile Computations. In Internet Programming Languages, number 1686 in Lecture Notes in Computer Science, pages 47-77. SpringerVerlag, 1999.
Using Ambients to Control Resources - Teller, Zimmer, Hirschkoff (2002) (32 citations) (Correct)
No context found.
J. Vitek and G. Castagna. Seal: A Framework for Secure Mobile Computations. In Internet Programming Languages, volume 1686 of LNCS. Springer Verlag, 1999.
Using Ambients to Control Resources - Teller, Zimmer, Hirschkoff (2004) (32 citations) (Correct)
No context found.
Vitek J, Castagna G (1999) Seal: a framework for secure mobile computations. In: Internet programming languages. Lecture notes in computer science, vol 1686. Springer, Berlin Heidelberg New York
Boxed Ambients with Communication Interfaces - Bonelli, Compagnoni.. (2004) (1 citation) (Correct)
No context found.
Giuseppe Castagna and Jan Vitek. Seal: A Framework for Secure Mobile Computations. In Henri E. Bal, Boumediene Belkhouche, and Luca Cardelli, editors, Internet Programming Languages, volume 1686 of LNCS, pages 47--77, Berlin, 1999. Springer-Verlag.
Open Nets, Contexts and Their Properties - De Nicola, Loreti (Correct)
No context found.
J. Vitek and G. Castagna. Seal: A Framework for Secure Mobile Computations. In Internet Programming Languages, number 1686 in Lecture Notes in Computer Science. Springer, 1999.
Using Ambients to Control Resources - Teller, Zimmer, Hirschkoff (2002) (32 citations) (Correct)
No context found.
J. Vitek and G. Castagna. Seal: A Framework for Secure Mobile Computations. In Internet Programming Languages, volume 1686 of LNCS. Springer Verlag, 1999. David Teller et al. Appendix -- Proof of Subject Reduction (Theorem 1) Strengthening and Weakening The proofs of the following lemmas are easy,
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