A semiring-based trace semantics for processes with applications to information leakage analysis / Boreale, Michele; Clark, David; Gorla, Daniele. - In: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE. - ISSN 0960-1295. - STAMPA. - 25:2(2014), pp. 259-291. [10.1017/S0960129513000601]
A semiring-based trace semantics for processes with applications to information leakage analysis
GORLA, DANIELE
2014
File allegati a questo prodotto
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.