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.

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

Attachment style and coping resources as predictors of coping strategies in the transition to parenthood

The relations among adult attachment style, coping resources, appraised strain, and coping strategies were examined in a prospective study of married couples having their first child (N = 92). Attachment and coping resources were measured during the second trimester of pregnancy, and parenting strain and coping strategies were assessed when the babies were about 6 weeks old. Results supported a theoretical model proposing that attachment is predictive of coping resources and appraised strain, and that attachment, resources, and strain are predictive of coping strategies. Results also highlighted the complexity of associations among attachment, stress, and coping: Gender differences in mean scores and predictive associations were obtained, and some interactions were found between resources and strain in predicting coping strategies. The findings support the utility of integrating theories of attachment and coping in explaining couples' adjustment to important developmental transitions.

Glass transition in Australian honeys

Differential scanning calorimetry (DSC) was used to study the glass transition in 10 Australian honeys by scanning at 10 degrees Cmin(-1) from -130 to 50 degreesC after annealing at -50 degreesC. The honeys had moisture contents 14.9 to 18.0%, seven were from Eucalyptus species. The glass transition temperatures (T-g) ranged from -46 degrees to -38 degreesC and were significantly (p