On the Inner Structure of Multirelations

TL;DR

This paper explores the internal structure of multirelations, which model complex nondeterministic systems, using a relation-algebraic approach to analyze the interplay of different types of choices within these systems.

Contribution

It introduces a relation-algebraic framework with specific operations to study the inner layer of alternation in multirelations, advancing the theoretical understanding of nondeterministic models.

Findings

Develops a relation-algebraic language for multirelations

Defines operations relating to the inner layer of alternation

Provides insights into the structure of alternating nondeterminism

Abstract

Binary multirelations form a model of alternating nondeterminism useful for analysing games, interactions of computing systems with their environments or abstract interpretations of probabilistic programs. We investigate this alternating structure with inner or demonic and outer or angelic choices in a relation-algebraic language extended with specific operations on multirelations that relate to the inner layer of alternation.