title: A compositional approach for verifying generalized nonblocking

authors: Malik, Robi

subjects: computer science

abstract: This paper proposes a compositional approach to verify the generalised nonblocking property of discrete-event systems. Generalised nonblocking is introduced in to overcome weaknesses of the standard nonblocking check in discrete-event systems and increase the scope of liveness properties that can be handled. This paper addresses the question of how generalised nonblocking can be verified efficiently. The explicit construction of the complete state space is avoided by first composing and simplifying individual components in ways that preserve generalised nonblocking. The paper extends and generalises previous results about compositional verification of standard nonblocking and lists a new set of computationally feasible abstraction rules for standard and generalised nonblocking.

text: A compositional approach for verifying generalized nonblocking This paper proposes a compositional approach to verify the generalised nonblocking property of discrete-event systems. Generalised nonblocking is introduced in to overcome weaknesses of the standard nonblocking check in discrete-event systems and increase the scope of liveness properties that can be handled. This paper addresses the question of how generalised nonblocking can be verified efficiently. The explicit construction of the complete state space is avoided by first composing and simplifying individual components in ways that preserve generalised nonblocking. The paper extends and generalises previous results about compositional verification of standard nonblocking and lists a new set of computationally feasible abstraction rules for standard and generalised nonblocking.

year: 2009

title: Waltzing on the Vienna Consensus on Drug Control? Tensions in the International System for the Control of Drugs

authors: Boister, Neil

abstract: This article examines the tensions within the international drug control system which are putting the until now consensual position in regard to the prohibition on drugs supply and use for anything other than medical and scientific use – the Vienna Consensus – under strain. The article examines a number of areas where policy stress is leading to controversy about potential violation of international drug control treaty obligations by states parties. Drawing a comparison with earlier periods of stress when drug control fell under the League of Nations, it suggests that what appears to be occurring is a shift in the Vienna consensus, and that the drug conventions are sufficiently flexible to permit resulting shifts in practice, although reform would be preferable.

text: Waltzing on the Vienna Consensus on Drug Control? Tensions in the International System for the Control of Drugs This article examines the tensions within the international drug control system which are putting the until now consensual position in regard to the prohibition on drugs supply and use for anything other than medical and scientific use – the Vienna Consensus – under strain. The article examines a number of areas where policy stress is leading to controversy about potential violation of international drug control treaty obligations by states parties. Drawing a comparison with earlier periods of stress when drug control fell under the League of Nations, it suggests that what appears to be occurring is a shift in the Vienna consensus, and that the drug conventions are sufficiently flexible to permit resulting shifts in practice, although reform would be preferable.

year: 2016

title: Wearing moko: Maori facial marking in today’s world

authors: Nikora, Linda Waimarie

subjects: moko

abstract: The early voyagers, missionaries, settlers all reacted to the pukanohi, to the marked faces of the Maori people, during the period of first contact, and the century following it. Their accounts are vivid, judgemental, revealing, telling us as much about them as they do about the people they described.
Curiosity and horror are mixed with a genuine
fascination; where sternly evangelizing words
failed, armed confrontation occurred; and we
now live with the results, te ao hou, a new world. In this world, today, wahine mau kauae, tangata mau moko, pukanohi – wearers – are speaking for themselves, about themselves, and commenting on how others view them. Unanimously, they insist that the decision to take the marking is about continuity, affirmation, identity and commitment. It is also about wearing those ancestors, carrying them into the future; as their moko become a companion, a salient being with its own life force, its own integrity and power, beyond the face.

text: Wearing moko: Maori facial marking in today’s world The early voyagers, missionaries, settlers all reacted to the pukanohi, to the marked faces of the Maori people, during the period of first contact, and the century following it. Their accounts are vivid, judgemental, revealing, telling us as much about them as they do about the people they described.
Curiosity and horror are mixed with a genuine
fascination; where sternly evangelizing words
failed, armed confrontation occurred; and we
now live with the results, te ao hou, a new world. In this world, today, wahine mau kauae, tangata mau moko, pukanohi – wearers – are speaking for themselves, about themselves, and commenting on how others view them. Unanimously, they insist that the decision to take the marking is about continuity, affirmation, identity and commitment. It is also about wearing those ancestors, carrying them into the future; as their moko become a companion, a salient being with its own life force, its own integrity and power, beyond the face.

year: 2004-04-04