26 citations · 48 across the 6 of their papers we have counts for
4 papers · 1 filter
A Session Type System for Asynchronous Unreliable Broadcast Communication
Dimitrios Kouzapas, Ramunas Forsberg Gutkovas, A. Laura Voinea +1
Session types are formal specifications of communication protocols, allowing protocol implementations to be verified by typechecking. Up to now, session type disciplines have assum…
Privacy by typing in the -calculus
Dimitrios Kouzapas, Anna Philippou
In this paper we propose a formal framework for studying privacy in information systems. The proposal follows a two-axes schema where the first axis considers privacy as a taxonomy…
Core Higher-Order Session Processes: Tractable Equivalences and Relative Expressiveness
Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida
This work proposes tractable bisimulations for the higher-order pi-calculus with session primitives (HOpi) and offers a complete study of the expressivity of its most significant s…
Globally Governed Session Semantics
Dimitrios Kouzapas, Nobuko Yoshida
This paper proposes a bisimulation theory based on multiparty session types where a choreography specification governs the behaviour of session typed processes and their observer.…