Nicht-Determinismus

    Seminarthemen

    (mit Einstiegs-Literatur)

    • Unfolding of Programs with Nondeterminism
    • Computing in Unpredictable Environments: Semantics, Reduction Strategies and Program Transformations