Extending the theory of Owicki and Gries with a logic of progress

This paper describes a logic of progress for concurrent programs. The logic is based on that of UNITY, molded to fit a sequential programming model. Integration of the two is achieved by using auxiliary variables in a systematic way that incorporates program counters into the program text. The rules for progress in UNITY are then modified to suit this new system. This modification is however subtle enough to allow the theory of Owicki and Gries to be used without change.

Evolutionary theory of history

Several attempts have been made recently to apply Darwinian evolutionary theory to the study of culture change and social history. The essential elements in such a theory are that variations occur in population, and that a process of selective retention operates during their replication and transmission. Location of such variable units in the semantic structure of cognition provides the individual psychological basis for an evolutionary theory of history. Selection operates on both the level of cognition and on its phenotypic expression in action in relation to individual preferred sources of psychological satisfaction. Social power comprises the principal selective forces within the unintended consequences of action and through the struggle of individuals and groups in pursuit of opposing interests. The implication for historiography are methodological in that evolutionary theory of history sharpens the focus of explanatory situational analysis, and interpretive in that it provides a paradigmatic metanarrative for the understanding of historical change.