title: Compositional nonblocking verificationusing generalised nonblocking abstractions

authors: Malik, Robi

subjects: computer science

abstract: This paper proposes a method for compositional verification of the standard and generalized nonblocking properties of large discrete event systems. The method is efficient as it avoids the explicit construction of the complete state space by considering and simplifying individual subsystems before they are composed further. Simplification is done using a set of abstraction rules preserving generalized nonblocking equivalence, which are shown to be correct and computationally feasible. Experimental results demonstrate the suitability of the method to verify several large-scale discrete event systems models both for standard and generalized nonblocking.

text: Compositional nonblocking verificationusing generalised nonblocking abstractions This paper proposes a method for compositional verification of the standard and generalized nonblocking properties of large discrete event systems. The method is efficient as it avoids the explicit construction of the complete state space by considering and simplifying individual subsystems before they are composed further. Simplification is done using a set of abstraction rules preserving generalized nonblocking equivalence, which are shown to be correct and computationally feasible. Experimental results demonstrate the suitability of the method to verify several large-scale discrete event systems models both for standard and generalized nonblocking.

year: 2013

title: The vegetation of the Te Aroha district

authors: Hart, Philip

abstract: Pakeha settlers universally admired the mountain’s vegetation, and several enthusiasts made botanical surveys. Both because of its intrinsic beauty and also to attract tourists, portions of the mountain were removed from the goldfield and attempts were made to preserve the original vegetation. In contrast, few admired the vegetation in the swamps, which were quickly drained for farming. 
As thick bush handicapped prospectors, it was burnt to expose outcrops. Miners were permitted to cut the trees on their claims for mining purposes, and settlers required timber for a multitude of purposes. Despite some attempts to control timber cutting, which in the case of kauri required a (small) payment, much valuable timber was wasted because of its abundance. Vegetation was either deliberately or carelessly set on fire, was vandalized by illegal cutting, and was damaged by cattle, deer, goats, and possums. As the bush line retreated up the mountainside, damaged or destroyed areas were replanted in exotic vegetation; in the case of the tramway, gorse (!) was planted to prevent landslips. By the late twentieth century, efforts were being made to protect and restore the original vegetation.

text: The vegetation of the Te Aroha district Pakeha settlers universally admired the mountain’s vegetation, and several enthusiasts made botanical surveys. Both because of its intrinsic beauty and also to attract tourists, portions of the mountain were removed from the goldfield and attempts were made to preserve the original vegetation. In contrast, few admired the vegetation in the swamps, which were quickly drained for farming. 
As thick bush handicapped prospectors, it was burnt to expose outcrops. Miners were permitted to cut the trees on their claims for mining purposes, and settlers required timber for a multitude of purposes. Despite some attempts to control timber cutting, which in the case of kauri required a (small) payment, much valuable timber was wasted because of its abundance. Vegetation was either deliberately or carelessly set on fire, was vandalized by illegal cutting, and was damaged by cattle, deer, goats, and possums. As the bush line retreated up the mountainside, damaged or destroyed areas were replanted in exotic vegetation; in the case of the tramway, gorse (!) was planted to prevent landslips. By the late twentieth century, efforts were being made to protect and restore the original vegetation.

year: 2016

title: Reducing our prison population: Past failures and new approaches

authors: Tauri, Juan Marcellus

abstract: Earlier this year the Minister of Justice, Andrew Little announced the latest in a long line of reviews, taxpayer-funded summits and inter-agency, ‘wholeof-government’ projects stretching back to the late-1980s, all aimed in some form or other, at making the criminal justice system more ‘safe’ and ‘effective’. Officially launched at a summit held in Porirua in August 2018, the aim of the latest review is to reduce New Zealand’s prison muster by 30% over the next 15 years. And unsurprisingly, given our significant over-representation in prisons, a specific focus of the review is on identifying ways to significantly reduce Māori over-representation in the prison population. This commentary represents a modest offering in response to the current government’s stated aim of making the justice system safer and more effective, and to reduce the prison muster, and it is based on two core arguments, namely that successive governments and the public service have failed to reduce offending and imprisonment and that successful solutions require community empowerment and government/public service accountability.

text: Reducing our prison population: Past failures and new approaches Earlier this year the Minister of Justice, Andrew Little announced the latest in a long line of reviews, taxpayer-funded summits and inter-agency, ‘wholeof-government’ projects stretching back to the late-1980s, all aimed in some form or other, at making the criminal justice system more ‘safe’ and ‘effective’. Officially launched at a summit held in Porirua in August 2018, the aim of the latest review is to reduce New Zealand’s prison muster by 30% over the next 15 years. And unsurprisingly, given our significant over-representation in prisons, a specific focus of the review is on identifying ways to significantly reduce Māori over-representation in the prison population. This commentary represents a modest offering in response to the current government’s stated aim of making the justice system safer and more effective, and to reduce the prison muster, and it is based on two core arguments, namely that successive governments and the public service have failed to reduce offending and imprisonment and that successful solutions require community empowerment and government/public service accountability.

year: 2019