Search

• < Previous
• 1
• Next >

---

Modal Logics for Nominal Transition Systems

Joachim Parrow ; Johannes Borgström ; Lars-Henrik Eriksson ; Ramūnas Forsberg Gutkovas ; Tjark Weber.

We define a general notion of transition system where states and action labels can be from arbitrary nominal sets, actions may bind names, and state predicates from an arbitrary logic define properties of states. A Hennessy-Milner logic for these systems is introduced, and proved adequate and&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;]

---