N. Busi, G. Zavattaro (2009). Deciding reachability problems in Turing-complete fragments of Mobile Ambients. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 19(6), 1223-1263 [10.1017/S0960129509990181].
Deciding reachability problems in Turing-complete fragments of Mobile Ambients
BUSI, NADIA;ZAVATTARO, GIANLUIGI
2009
File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.