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

Full description

Bibliographic Details

Published in:	Journal of logical and algebraic methods in programming Vol. 148; p. 101094
Main Authors:	Furusawa, Hitoshi, Guttmann, Walter, Struth, Georg
Format:	Journal Article
Language:	English
Published:	Elsevier Inc 01.01.2026
Subjects:	Binary multirelations Binary relations Quantales Semantics of computation Binary relations Binary multirelations Semantics of computation Quantales
ISSN:	2352-2208
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!