A semiring-based trace semantics for processes with applications to information leakage analysis.

Published in: Math. Struct. Comput. Sci. (2015)

Keyphrases