MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Types for Mobile Ambients." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 8 documents found, showing 1 through 8.
ATOM RSS
  • Types for mobile ambients  
  • by Luca Cardelli, Andrew D. Gordon — 1999 — In Proc. 26th POPL
  • …Types for Mobile Ambients Luca Cardelli Andrew D. Gordon Microsoft Research Abstract Java has…
  • Cited by 138 (12 self) – Add To MetaCart
  • Typed mobile ambients in Maude  
  • by F Rosa-velardo, Clara Segura, Alberto Verdejo — 2006 — Proceedings of the 6th International Workshop on Rule-Based Programming (RULE 2005), Electronic Notes in Theoretical Computer Science 147 (2006
  • …Typed Mobile Ambients in Maude ⋆ Fernando Rosa-Velardo, Clara Segura, and Alberto Verdejo…
  • Cited by 6 (4 self) – Add To MetaCart
  • Boxed Ambients with Communication Interfaces  
  • by Eduardo Bonelli, Adriana Compagnoni, Mariangiola Dezani-ciancaglini, Pablo Garralda — 2004 — MFCS’04, volume 3153 of LNCS
  • … or exiting an ambient) changes the parent of an ambient. The existing typed mobile ambient calculi fix a TOC…
  • Cited by 4 (2 self) – Add To MetaCart
  • A Dependently Typed Ambient Calculus  
  • by Cédric Lhoussaine, Vladimiro Sassone — 2003 — In Programming Languages & Systems, 13th European Symp. Programming
  • … Introduction The work on types for Mobile Ambients [6] (MA), initiated in [7], has introduced some interesting…
  • Cited by 8 (0 self) – Add To MetaCart
  • Declarative Field Annotations  
  • by Toon Verwaest, Prof Dr. Theo D’hondt, Jorge Vallejos Vargas, Dr. Wolfgang, De Meuter, Toon Verwaest, Jorge Vallejos Vargas, Dr. Wolfgang, De Meuter
  • … and which type of mobility is the most feasible. We will also implement this type of mobility in Ambient…
  • Add To MetaCart
Help! Showing 1 through 8.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB