Blar i NTNU Open på forfatter "Horne, Ross"
-
Bisimulations Respecting Duration and Causality for the Non-interleaving Applied Pi-Calculus
Aubert, Clement; Horne, Ross; Johansen, Christian (Peer reviewed; Journal article, 2022)This paper shows how we can make use of an asynchronous transition system, whose transitions are labelled with events and which is equipped with a notion of independence of events, to define non-interleaving semantics for ... -
Diamonds for Security: A Non-Interleaving Operational Semantics for the Applied Pi-Calculus
Aubert, Clement; Horne, Ross; Johansen, Christian (Journal article; Peer reviewed, 2022)