I. Lanese, D. Sangiorgi (2010). An operational semantics for a calculus for wireless systems. THEORETICAL COMPUTER SCIENCE, 411, 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.


