First Page | Document Content | |
---|---|---|
Date: 2015-12-18 06:55:15Theoretical computer science Mathematics Logic in computer science Programming language semantics Models of computation Computing Algebraic topology Sheaf Operational semantics Petri net Mobile membranes | December 16, 2010 IJFCS 10:46 WSPC/INSTRUCTION FILEAdd to Reading ListSource URL: pages.di.unipi.itDownload Document from Source WebsiteFile Size: 257,12 KBShare Document on Facebook |
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 |