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

Celý popis

Podrobná bibliografia

Vydané v:	Journal of logical and algebraic methods in programming Ročník 148; s. 101094
Hlavní autori:	Furusawa, Hitoshi, Guttmann, Walter, Struth, Georg
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Elsevier Inc 01.01.2026
Predmet:	Binary multirelations Binary relations Quantales Semantics of computation Binary relations Binary multirelations Semantics of computation Quantales
ISSN:	2352-2208
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!