2000 character limit reached
On the Inner Structure of Multirelations (2305.11342v2)
Published 18 May 2023 in cs.LO
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.