On the inner structure of multirelations

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 i...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Journal of logical and algebraic methods in programming Jg. 148; S. 101094
Hauptverfasser: Furusawa, Hitoshi, Guttmann, Walter, Struth, Georg
Format: Journal Article
Sprache:Englisch
Veröffentlicht: Elsevier Inc 01.01.2026
Schlagworte:
Binary multirelations
Binary relations
Quantales
Semantics of computation
Binary relations
Binary multirelations
Semantics of computation
Quantales
ISSN:2352-2208
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.
ISSN:2352-2208
DOI:10.1016/j.jlamp.2025.101094