Toggle navigation
norsk
English
norsk
norsk
English
Logg inn
Toggle navigation
Vis innførsel
Hjem
Øvrige samlinger
Publikasjoner fra CRIStin - NTNU
Vis innførsel
Hjem
Øvrige samlinger
Publikasjoner fra CRIStin - NTNU
Vis innførsel
JavaScript is disabled for your browser. Some features of this site may not work without it.
Diamonds for Security: A Non-Interleaving Operational Semantics for the Applied Pi-Calculus
Aubert, Clement
;
Horne, Ross
;
Johansen, Christian
Journal article, Peer reviewed
Published version
Åpne
LIPIcs-CONCUR-2022-30.pdf (1.604Mb)
Permanent lenke
https://hdl.handle.net/11250/3057682
Utgivelsesdato
2022
Metadata
Vis full innførsel
Samlinger
Institutt for informasjonssikkerhet og kommunikasjonsteknologi
[2626]
Publikasjoner fra CRIStin - NTNU
[38672]
Originalversjon
Leibniz International Proceedings in Informatics. 2022, 30 1-26.
10.4230/LIPIcs.CONCUR.2022.30
Tidsskrift
Leibniz International Proceedings in Informatics
Med mindre annet er angitt, så er denne innførselen lisensiert som Navngivelse 4.0 Internasjonal
Hele arkivet
Denne samlingen
Bla i
Hele arkivet
Delarkiv og samlinger
Utgivelsesdato
Forfattere
Titler
Emneord
Dokumenttyper
Tidsskrifter
Denne samlingen
Utgivelsesdato
Forfattere
Titler
Emneord
Dokumenttyper
Tidsskrifter
Min side
Logg inn
Statistikk
Besøksstatistikk