Diamonds for security: a non-interleaving operational semantics for the applied -calculus

DOI10.4230/LIPICS.CONCUR.2022.30MaRDI QIDQ6587138zbMATH OpenFDO

Authors Clément Aubert, Ross Horne, Christian Johansen

Publication date 13 August 2024

zbMATH Keywords

securitystructural operational semanticsprocessesasynchronous transition systemsapplied \(\pi\)-calculus

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Diamonds for security: a non-interleaving operational semantics for the applied \(\pi\)-calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6587138)