Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 2 of 2 for “"My-Kalkül"”.
-
Games and logical expressiveness
For the study of interactive systems, game theory provides a framework of versatile models and intuitive languages to abstract from the intricacies of distributed control. The effectiveness of this framework relies on logical foundations that allow rigorous specification and reasoning in terms of …
-
On games and logics over dynamically changing structures
In the classical framework of graph algorithms, program logics, and corresponding model checking games, one considers changes of system states and movements of agents within a system, but the underlying graph or structure is assumed to be static. This limitation motivates a more general approach …