Show simple item record

Diamonds for Security: A Non-Interleaving Operational Semantics for the Applied Pi-Calculus

dc.contributor.authorAubert, Clement
dc.contributor.authorHorne, Ross
dc.contributor.authorJohansen, Christian
dc.date.accessioned2023-03-10T12:00:19Z
dc.date.available2023-03-10T12:00:19Z
dc.date.created2023-01-17T13:41:58Z
dc.date.issued2022
dc.identifier.citationLeibniz International Proceedings in Informatics. 2022, 30 1-26.en_US
dc.identifier.issn1868-8969
dc.identifier.urihttps://hdl.handle.net/11250/3057682
dc.language.isoengen_US
dc.rightsNavngivelse 4.0 Internasjonal*
dc.rights.urihttp://creativecommons.org/licenses/by/4.0/deed.no*
dc.titleDiamonds for Security: A Non-Interleaving Operational Semantics for the Applied Pi-Calculusen_US
dc.title.alternativeDiamonds for Security: A Non-Interleaving Operational Semantics for the Applied Pi-Calculusen_US
dc.typeJournal articleen_US
dc.typePeer revieweden_US
dc.description.versionpublishedVersionen_US
dc.source.pagenumber1-26en_US
dc.source.volume30en_US
dc.source.journalLeibniz International Proceedings in Informaticsen_US
dc.identifier.doi10.4230/LIPIcs.CONCUR.2022.30
dc.identifier.cristin2108614
cristin.ispublishedtrue
cristin.fulltextoriginal
cristin.qualitycode1


Files in this item

Thumbnail
Name:
LIPIcs-CONCUR-2022-30.pdf
Size:
1.604Mb
Format:
PDF
View/Open

This item appears in the following Collection(s)

Show simple item record

Navngivelse 4.0 Internasjonal
Except where otherwise noted, this item's license is described as Navngivelse 4.0 Internasjonal