First Page | Document Content | |
---|---|---|
![]() Date: 2006-08-08 04:44:28Π-calculus Process calculus Mathematics Congruence Calculus Type system Actor model and process calculi Mobile Membranes Process calculi Applied mathematics Computer science | Add to Reading List |
![]() | Microsoft Word - IBSNew_Trends_in_iTECH-finalDocID: 1r6t0 - View Document |
![]() | Type Systems Vasco T. Vasconcelos GLOBAN 2006 THE GLOBAL COMPUTING APPROACH TO ANALYSIS OF SYSTEMS International Summer School at DTU, August 21-25, 2006DocID: 1as2k - View Document |
![]() | Communication and Mobility Control in Boxed Ambients ? Michele Bugliesi Dipartimento di Informatica, Universit` a Ca’ Foscari, VeneziaDocID: 18SSj - View Document |
![]() | Communication Interference in Mobile Boxed Ambients? Michele Bugliesi 1 , Silvia Crafa 1 , Massimo Merro 2 , and Vladimiro Sassone 3 Abstract. Boxed Ambients (BA) replace Mobile Ambients’open capability with communicatDocID: 18F6h - View Document |
![]() | Secure Safe Ambients Michele Bugliesi Universita´ “Ca’ Foscari”, VeniceDocID: 18kN4 - View Document |