research
∙
07/11/2023
Probabilistic Operational Correspondence (Technical Report)
Encodings are the main way to compare process calculi. By applying quali...
share
research
∙
09/06/2022
On the Expressiveness of Mixed Choice Sessions
Session types provide a flexible programming style for structuring inter...
research
∙
08/15/2022
On the Expressiveness of Mixed Choice Sessions (Technical Report)
Session types provide a flexible programming style for structuring inter...
research
∙
04/16/2022
Fault-Tolerant Multiparty Session Types (Technical Report)
Multiparty session types are designed to abstractly capture the structur...
research
∙
04/12/2022
Encodability Criteria for Quantum Based Systems (Technical Report)
This technical report contains the proofs to the lemmata and theorems of...
research
∙
08/23/2019
Comparing Process Calculi Using Encodings
Encodings or the proof of their absence are the main way to compare proc...
research
∙
08/18/2019
Taming Concurrency for Verification Using Multiparty Session Types (Technical Report)
The additional complexity caused by concurrently communicating processes...
research
∙
08/27/2018
On the Distributability of Mobile Ambients
Modern society is dependent on distributed software systems and to verif...
research
∙
08/05/2018
On the Distributability of Mobile Ambients (Technical Report)
Modern society is dependent on distributed software systems and to verif...
research
∙
01/09/2018
Dynamic Causality in Event Structures
Event Structures (ESs) address the representation of direct relationship...
research
∙
08/31/2017