Nondeterminism
C. Hoare
Zu finden in: Communicating Sequential Processes, 1985
Diese Seite wurde seit 18 Jahren inhaltlich nicht mehr aktualisiert.
Unter Umständen ist sie nicht mehr aktuell.
Zusammenfassungen
The third chapter gives one of the simplest known solutions to the vexed problem of nondeterminism. Nondeterminism is shown to be a valuable technique for achieving abstraction, since it arises naturally from the decision to ignore or conceal those aspects of the behaviour of a systems in which we are no longer interested. It also preserves certain symmetries in the definition of the operators of the mathematical theory.
Von C. Hoare im Buch Communicating Sequential Processes (1985) Anderswo suchen
Beat und dieser Text
Beat war Co-Leiter des ICT-Kompetenzzentrums TOP während er Dieser Text ins Biblionetz aufgenommen hat. Er hat Dieser Text einmalig erfasst und bisher nicht mehr bearbeitet. Beat besitzt weder ein physisches noch ein digitales Exemplar. Aufgrund der wenigen Einträge im Biblionetz scheint er es nicht wirklich gelesen zu haben. Es gibt bisher auch nur wenige Objekte im Biblionetz, die dieses Werk zitieren.