Login / Signup
A general theory of composition for trace sets closed under selective interleaving functions.
John McLean
Published in:
IEEE Symposium on Security and Privacy (1994)
Keyphrases
</>
general theory
morphological operators
mathematical theory
neural network
denoising
programming language