An operational semantics for a calculus for wireless systems / I. Lanese; D. Sangiorgi. - In: THEORETICAL COMPUTER SCIENCE. - ISSN 0304-3975. - STAMPA. - 411:(2010), pp. 1928-1948. [10.1016/j.tcs.2010.01.023]
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.