A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis
A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis / M. Boreale; D. Clark; D. Gorla. - In: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE. - ISSN 0960-1295. - STAMPA. - 25:(2015), pp. 259-291. [10.1017/S0960129513000601]
A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis
BOREALE, MICHELE;
2015
Abstract
A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
