Bisimulations Respecting Duration and Causality for the Non-interleaving Applied π-Calculus. | 0 | 0.34 | 2022 |
Theories of life and computation: Special issue on the occasion of the 65th birthday of Professor Gabriel Ciobanu | 0 | 0.34 | 2022 |
Diamonds for Security: A Non-Interleaving Operational Semantics for the Applied Pi-Calculus | 0 | 0.34 | 2022 |
A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic. | 0 | 0.34 | 2021 |
The Sub-Additives - A Proof Theory for Probabilistic Choice extending Linear Logic. | 0 | 0.34 | 2019 |
The Attacker Does not Always Hold the Initiative - Attack Trees with External Refinement. | 0 | 0.34 | 2018 |
A Bisimilarity Congruence for the Applied pi-Calculus Sufficiently Coarse to Verify Privacy Properties. | 0 | 0.34 | 2018 |