Blar i Institutt for informasjonssikkerhet og kommunikasjonsteknologi på tidsskrift "Leibniz International Proceedings in Informatics"
Viser treff 1-2 av 2
-
Diamonds for Security: A Non-Interleaving Operational Semantics for the Applied Pi-Calculus
(Journal article; Peer reviewed, 2022) -
A Kleene Theorem for Higher-Dimensional Automata
(Peer reviewed; Journal article, 2022)We prove a Kleene theorem for higher-dimensional automata (HDAs). It states that the languages they recognise are precisely the rational subsumption-closed sets of interval pomsets. The rational operations include a gluing ...