Toggle navigation
norsk
English
English
norsk
English
Login
Toggle navigation
View Item
Home
Øvrige samlinger
Publikasjoner fra CRIStin - NTNU
View Item
Home
Øvrige samlinger
Publikasjoner fra CRIStin - NTNU
View Item
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
View/
Open
LIPIcs-CONCUR-2022-30.pdf (1.604Mb)
URI
https://hdl.handle.net/11250/3057682
Date
2022
Metadata
Show full item record
Collections
Institutt for informasjonssikkerhet og kommunikasjonsteknologi
[2626]
Publikasjoner fra CRIStin - NTNU
[38672]
Original version
Leibniz International Proceedings in Informatics. 2022, 30 1-26.
10.4230/LIPIcs.CONCUR.2022.30
Journal
Leibniz International Proceedings in Informatics
Except where otherwise noted, this item's license is described as Navngivelse 4.0 Internasjonal
Search Archive
This Collection
Browse
Archive
Communities & Collections
By Issue Date
Authors
Titles
Subjects
Document Types
Journals
This Collection
By Issue Date
Authors
Titles
Subjects
Document Types
Journals
My Account
Login
Statistics
View Usage Statistics