Diamonds for security: a non-interleaving operational semantics for the applied \(\pi\)-calculus. (English) Zbl 07896563
Klin, Bartek (ed.) et al., 33rd international conference on concurrency theory, CONCUR 2022, Warsaw, Poland, September 12–16, 2022. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 243, Article 30, 26 p. (2022).
MSC:
68Q85