C. Versari, N. Busi, R. Gorrieri (2009). An expressiveness study of priority in process calculi. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 19(6), 1161-1189 [10.1017/S0960129509990168].
An expressiveness study of priority in process calculi
VERSARI, CRISTIAN;BUSI, NADIA;GORRIERI, ROBERTO
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.