No. Title Author Year
1 Diamonds for Security: A Non-Interleaving Operational Semantics for the Applied Pi-Calculus Aubert, Clément et al. 2022
2 mwp-Analysis Improvement and Implementation: Realizing Implicit Computational Complexity Aubert, Clément et al. 2022
3 How Reversibility Can Solve Traditional Questions: The Example of Hereditary History-Preserving Bisimulation Aubert, Clément et al. 2020
Current Page :
Number of result pages: 1
Number of documents: 3

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI