Search

• < Previous
• 1
• Next >

---

Modular session types for objects

Simon J. Gay ; Nils Gesbert ; António Ravara ; Vasco T. Vasconcelos.

Session types allow communication protocols to be specified type-theoretically so that protocol implementations can be verified by static type checking. We extend previous work on session types for distributed object-oriented languages in three ways. (1) We attach a session type to a class&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;]

---