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.

Emotions in organizations: A multi-level perspective

Recent years have seen an upsurge of interest in the study of emotions in organizations. Research, however, has been hampered by the ephemeral nature of emotions and a lack of an integrated multi-level model. This article therefore presents a five-level model of emotions in organizations. At the lowest level is within-person variation, defined in terms of affective events theory. Levels of the model then proceed through individual, dyadic relationship, group, and organization-wide perspectives. The article also outlines the neurophysiological processes that underlie the experience, perception, and communication of emotion; it concludes with a discussion of implications for research and practice.

Communication between organ donor families and recipients: A definitely controversial subject

In transplant centers, few topics are more controversial than communication between organ donor families (ODF) and recipients (RE). The Organ Procurement Organizations and transplant centers have felt obliged to protect the confidentiality and interests of ODF and RE. However, some authors have reported favorable effects of contact between ODF and RE. This study sought to investigate the current situation of the communication between ODF and RE from the viewpoint of transplanted patients (n = 50) and waiting transplant patients (n 50) at a Brazilian University Hospital, ODF (n = 10), physicians from transplant centers (n 50), as well as the opinion of the general population of a Brazilian city (n = 100). This work was developed as a survey whose questions related to the issue of communication between ODF and RE. The results showed that the majority of transplanted patients (82%) and patients awaiting transplant (60%) wanted to meet ODF to express their gratitude for receiving the organ. Likewise, ODF (67%) wanted to have a meeting with recipients, which allowed them to confirm the benefit of their donation. The general population was also favorable (66%) to ODF and RE communication. In contrast, the physicians (74%) were opposed to the ODF and RE contact. They affirmed that direct contact could lead to serious emotional conflicts or attempts of material involvement. One believes that decisions concerning the contact between ODF and RE would have to be determined by the involved parties. The transplant team could analyze the requests case by case, but ODF and RE must have the right to make the final decision.