Search

• < Previous
• 1
• Next >

---

Dynamic Causality in Event Structures

Youssef Arbach ; David S. Karcher ; Kirstin Peters ; Uwe Nestmann.

Event Structures (ESs) address the representation of direct relationships between individual events, usually capturing the notions of causality and conflict. Up to now, such relationships have been static, i.e., they cannot change during a system run. Thus, the common ESs only model a static view on&nbsp;[&hellip;]

---

Deciding All Behavioral Equivalences at Once: A Game for Linear-Time--Branching-Time Spectroscopy

Benjamin Bisping ; David N. Jansen ; Uwe Nestmann.

We introduce a generalization of the bisimulation game that finds distinguishing Hennessy-Milner logic formulas from every finitary, subformula-closed language in van Glabbeek's linear-time--branching-time spectrum between two finite-state processes. We identify the relevant dimensions that measure&nbsp;[&hellip;]

---

FTMPST: Fault-Tolerant Multiparty Session Types

Kirstin Peters ; Uwe Nestmann ; Christoph Wagner.

Multiparty session types are designed to abstractly capture the structure of communication protocols and verify behavioural properties. One important such property is progress, i.e., the absence of deadlock. Distributed algorithms often resemble multiparty communication protocols. But proving their&nbsp;[&hellip;]

---