A semiring-based trace semantics for processes with...

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

BOREALE, MICHELE, CLARK, DAVID, GORLA, DANIELE
Avez-vous aimé ce livre?
Quelle est la qualité du fichier téléchargé?
Veuillez télécharger le livre pour apprécier sa qualité
Quelle est la qualité des fichiers téléchargés?
Volume:
25
Langue:
english
Journal:
Mathematical Structures in Computer Science
DOI:
10.1017/s0960129513000601
Date:
February, 2015
Fichier:
PDF, 467 KB
english, 2015
La conversion en est effectuée
La conversion en a échoué