Login / Signup
Diamonds for Security: A Non-Interleaving Operational Semantics for the Applied Pi-Calculus.
Clément Aubert
Ross Horne
Christian Johansen
Published in:
CONCUR (2022)
Keyphrases
</>
operational semantics
term rewriting
artificial intelligence
multi agent systems
mobile robot
object oriented
information security
security requirements