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

2009
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].
N. Busi; G. Zavattaro
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11585/84900
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 7
  • ???jsp.display-item.citation.isi??? 6
social impact