The synchronization task between loosely coupled cyclic sequential processes (as can be distinguished in, for instance, operating systems) can be viewed as keeping the relation "the system is in a legitimate state" invariant.Expand
So-called "guarded commands" are introduced as a building block for alternative and repetitive constructs that allow nondeterministic program components for which at least the activity evoked, but possibly even the final state, is not necessarily uniquely determined by the initial state.Expand
A number of mainly independent sequential-cyclic processes with restricted means of communication with each other can be made in such a way that at any moment one and only one of them is engaged in the "critical section" of its cycle.Expand
This invention relates to an electronically rotatable antenna which includes several radially arranged Yagi antennae having a common drive element.Expand
This chapter is intended for all those who expect that in their future activities they will become seriously involved in the problems that arise in either the design or the more advanced applications of digital information processing equipment; they are further intended for those who are just interested in information processing.Expand
An analysis of the requirements of the correctness proofs will give us an insight into the logical issues at hand.SummaryOne of the primary functions of an operating system is to rebuild a machine that must be regarded as non-deterministic into a deterministic automaton.Expand