
A semiring-based trace semantics for processes with applications to information leakage analysis
BOREALE, MICHELE, CLARK, DAVID, GORLA, DANIELEVolume:
25
Langue:
english
Journal:
Mathematical Structures in Computer Science
DOI:
10.1017/s0960129513000601
Date:
February, 2015
Fichier:
PDF, 467 KB
english, 2015