Sangiorgi D. (2006). Termination of processes. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 16, 1-39 [10.1017/S0960129505004810].
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.