search result

Cover von Open Bisimilarity for the π-Calculus with Mismatch

Open Bisimilarity for the π-Calculus with Mismatch

Year: 2025
Media group: LIPIcs
Cover von Session Subtyping and Multiparty Compatibility Using Circular Sequents

Session Subtyping and Multiparty Compatibility Using Circular Sequents

Year: 2020
Media group: LIPIcs
Cover von The Sub-Additives

The Sub-Additives

A Proof Theory for Probabilistic Choice extending Linear Logic
Year: 2019
Media group: LIPIcs
Cover von A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic

A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic

Year: 2017
Media group: LIPIcs
Cover von Diamonds for Security

Diamonds for Security

A Non-Interleaving Operational Semantics for the Applied Pi-Calculus
Year: 2022
Media group: LIPIcs
Cover von Graphical Models for Security
6th International Workshop, GraMSec 2019, Hoboken, NJ, USA, June 24, 2019, Revised Papers
Search for this author
Year: 2019
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 11720
Media group: MONOGRAPHIE
Cover von Private Names in Non-Commutative Logic

Private Names in Non-Commutative Logic

Year: 2016
Media group: LIPIcs
Cover von A Graphical Proof Theory of Logical Time

A Graphical Proof Theory of Logical Time

Year: 2022
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