Search

• < Previous
• 1
• Next >

---

A Sorted Semantic Framework for Applied Process Calculi

Johannes Borgström ; Ramūnas Gutkovas ; Joachim Parrow ; Björn Victor ; Johannes Åman Pohjola.

Applied process calculi include advanced programming constructs such as type systems, communication with pattern matching, encryption primitives, concurrent constraints, nondeterminism, process creation, and dynamic connection topologies. Several such formalisms, e.g. the applied pi calculus, are&nbsp;[&hellip;]

---

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;]

---