Email Gateway (Jun 09 2023 at 10:04): Email Gateway (Jun 09 2023 at 10:04):From: "Thiemann, René" <Rene.Thiemann@uibk.ac.at>
Dear all,
I’d like to announce a new AFP entry.
Inner Structure, Determinism and Modal Algebra of Multirelations
by Walter Guttmann and Georg Struth
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 in a relational language based on power allegories
extended with specific operations on multirelations. We develop algebras of
modal operators over multirelations, related to concurrent dynamic logics, in
this language.
https://www.isa-afp.org/entries/Multirelations_Heterogeneous.html
Enjoy,
René
Last updated: Apr 29 2024 at 04:18 UTC