Sequential Processes
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
Chapter 5 shows how the conventional operators of sequential programming can be integrated within the framework of communicating sequential processes. It may be surprising to experienced programmers that these operators enjoy the same kind of elegant algebraic properties as the operators of familiar mathematical theories; and that sequential programs can be proved to meet their specifications in much the same way as concurrent programs. Even the externally triggered interrupt is defined and shown to be useful, and subject to elegant laws.
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.