Concurreny based transition refinement for the verification of distributed algorithms

We suggest a new notion of behaviour preserving transition refinement based on partial order semantics. This notion is called transition refinement. We introduced transition refinement for elementary (low-level) Petri Nets earlier. For modelling and verifying complex distributed algorithms, high-level (Algebraic) Petri nets are usually used. In this paper, we define transition refinement for Algebraic Petri Nets. This notion is more powerful than transition refinement for elementary Petri nets because it corresponds to the simultaneous refinement of several transitions in an elementary Petri net. Transition refinement is particularly suitable for refinement steps that increase the degree of distribution of an algorithm, e.g. when synchronous communication is replaced by asynchronous message passing. We study how to prove that a replacement of a transition is a transition refinement.

Human settlements: Australia state of the environment report, 2001

Australia’s transition to the 21st century has been marked by an extended period of economic prosperity unmatched for several decades, but one in which a series of question marks are being raised in three principal areas: in relation to the environment, the social well-being of the population, and the future path of economic development. The first concern, which is of primary interest in this report, relates to the physical environment of cities and their surrounding regions, and the range of pressures exerted by population and human activity. The report begins by noting the increasing divergence of the prime indicator of national economic performance—gross domestic product (GDP)—from the Genuine Progress Indicator (GPI). GPI is a new experimental measure of sustainable development that accommodates factors currently unaccounted for in GDP, such as income distribution, value of household work, cost of unemployment, and various other social and environmental costs. The divergence of these two indicators in recent decades suggests that Australia’s growth has been heavily dependent on the draw-down of the nation’s stocks of capital assets (its infrastructure), its human and social capital, and its natural capital (Hamilton 1997).

The strain-driven pyrochlore to "defect fluorite" phase transition in rare earth sesquioxide stabilized cubic zirconias

The relationship between the ordering characteristic of the pyrochlore structure type and that characteristic of the defect fluorite structure type (immediately on either side of two phase regions separating the two structure types) in a range of rare eath sesquioxide stabilized cubic zirconias is investigated via electron diffraction and imaging. Systematic structural change as a function of composition and relative size of the constituent metal ions is highlighted and a multi-q to single-q = 1/2 [111]* model proposed for the observed pyrochlore to defect fluorite phase transition. Strain introduced into the close-packed {111} metal ion planes of the defect fluorite average structure by the local cation and oxygen vacancy distribution is pointed to as the likely origin of the observed behavior. (C) 2001 Academic Press