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 1 introduces the basic concept of a process as a mathematical abstraction of the interactions between a system and its environment. It shows how the familiar technique of recursion may be used to describe processes that last a long time, or forever. The concepts are explained first by example and then by pictures; a more complete explanation is given by algebraic laws, and by an implementation on a computer in a functional programming language.
The second part of the chapter explains how the behaviour of a process can be recorded as a trace of the sequence of actions in which it engages. Many useful operations on traces are defined. A process can be specified in advance of implementation by describing the properties of its traces. Rules are given to help in implementation of processes which can be proved to meet their specifications.
Von C. Hoare im Buch Communicating Sequential Processes (1985) The second part of the chapter explains how the behaviour of a process can be recorded as a trace of the sequence of actions in which it engages. Many useful operations on traces are defined. A process can be specified in advance of implementation by describing the properties of its traces. Rules are given to help in implementation of processes which can be proved to meet their specifications.
Dieser Text erwähnt ...
Begriffe KB IB clear | Computercomputer , Mathematikmathematics , Programmierenprogramming , Rekursionrecursion , Systemsystem |
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.