Hallo zusammen,
kann mir jemand etwas über den (beschränkten) Nichtdeterminismus erzählen? Wieso benötige ich hier eine Potenzmenge von Sigma anstatt dem normalen Sigma? Was ist die Potenzdomäne? (S. 83/84)

Damit zusammen hängt die Frage zu parallelen Programmen in der axiomatischen (S. 119): wieso ist gerade bei der totalen Korrektheit das Bottom mit dabei?

Danke im voraus!!