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.

Charitable giving: A test of a revised Theory of Planned Behaviour model

Recent world events aside, downward trends in donating behaviour in Australia have increased the need for research into the factors that inhibit and encourage charitable giving. A revised Theory of Planned Behaviour (TPB) model was used to determine the influence of attitudes, norms (injunctive, descriptive, and moral norms), perceived behavioural control (PBC), and past behaviour (PB) on intentions to donate money to charities and community service organisations. Respondents (N=186) completed a questionnaire assessing the constructs of the revised TPB model. Four weeks later, self-reported donating behaviour was assessed (n=65). Results showed support for the revised TPB model. Attitudes, PBC, injunctive norms, moral norms, and PB all predicted donating intentions. Descriptive norms did not predict intentions. Intention was the only significant predictor of selfreported behaviour four weeks later, with neither PBC nor PB having a direct effect on behaviour. Theoretical and applied implications of the results are discussed.