Search

• < Previous
• 1
• Next >

---

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. The bisimulation is defined with the observer cooperating with the observed process in order to form complete global&nbsp;[&hellip;]

---

Privacy by typing in the $\pi$-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 of rights and the second axis involves the ways an information system stores and manipulates information. We develop a&nbsp;[&hellip;]

---

A Session Type System for Asynchronous Unreliable Broadcast Communication

Dimitrios Kouzapas ; Ramunas Forsberg Gutkovas ; A. Laura Voinea ; Simon J. Gay.

Session types are formal specifications of communication protocols, allowing protocol implementations to be verified by typechecking. Up to now, session type disciplines have assumed that the communication medium is reliable, with no loss of messages. However, unreliable broadcast communication is&nbsp;[&hellip;]

---