MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Boxed Ambients." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 60 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Boxed ambients  
  • by Michele Bugliesi, Silvia Crafa — 2001 — In Proc. TACS 2001, LNCS 2215
  • …Boxed Ambients ⋆ Michele Bugliesi 1 , Giuseppe Castagna 2 , and Silvia Crafa 1,2 1 Dipartimento di…
  • Cited by 68 (8 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
  • …Boxed Ambients with Communication Interfaces ⋆ Eduardo Bonelli 1 , Adriana Compagnoni 1…
  • Cited by 4 (2 self) – Add To MetaCart
  • Communication and Mobility Control in Boxed Ambients  
  • by Michele Bugliesi, Silvia Crafa, Università “ca Foscari, Università “ca Foscari, Massimo Merro, Vladimiro Sassone — 2003 — Information and Computation
  • …Communication and Mobility Control in Boxed Ambients ∗ Michele Bugliesi Università “Ca’ Foscari…
  • Cited by 9 (1 self) – Add To MetaCart
  • Ambient Calculi with Types: a Tutorial  
  • by E. Giovannetti — 2003 — Global Computing - Programming Environments, Languages, Security and Analysis of Systems, volume 2874 of LNCS
  • … proposed in the last few years, such as Mobile Ambients, Safe Ambients, Boxed Ambients, and other related…
  • Cited by 6 (2 self) – Add To MetaCart
  • PolyA: True Type Polymorphism for Mobile Ambients  
  • by For Mobile Ambients, Torben Amtoft, Henning Makholm, J. B. Wells — 2003
  • … systems for mobility calculi (the original Mobile Ambients, its variants and descendants, e.g., Boxed…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB