Deadlock Analysis of Unbounded Process Networks / Elena Giachino;Naoki Kobayashi;Cosimo Laneve. - STAMPA. - 8704:(2014), pp. 63-77. (Intervento presentato al convegno CONCUR 2014 tenutosi a Rome, Italy nel September 2-5, 2014) [10.1007/978-3-662-44584-6_6].
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.