search result

Cover von Asynchronous Multiparty Session Type Implementability is Decidable - Lessons Learned from Message Sequence Charts

Asynchronous Multiparty Session Type Implementability is Decidable - Lessons Learned from Message Sequence Charts

Year: 2023
Media group: LIPIcs
Cover von Decidable Inductive Invariants for Verification of Cryptographic Protocols with Unbounded Sessions

Decidable Inductive Invariants for Verification of Cryptographic Protocols with Unbounded Sessions

Year: 2020
Media group: LIPIcs
Cover von Generalising Projection in Asynchronous Multiparty Session Types

Generalising Projection in Asynchronous Multiparty Session Types

Year: 2021
Media group: LIPIcs
Cover von Security Protocols and Threat Models
Security and Privacy via The Applied π-Calculus
Search for this author
Year: 2026
Publisher: Berlin, Springer
Series: Information security and cryptography
Media group: MONOGRAPHIE
OPEN V 11.1.0.0