title: Atomic components

authors: Reeves, Steve

subjects: computer science

abstract: There has been much interest in components that combine the best of state-based and event-based approaches. The interface of a component can be thought of as its specification and substituting components with the same interface cannot be observed by any user of the components. Here we will define the semantics of atomic components where both states and event can be part of the interface. The resulting semantics is very similar to that of (event only) processes. But it has two main novelties: one, it does not need recursion or unique fixed points to model nontermination; and two, the behaviour of divergence is modelled by abstraction, i.e. the construction of the observational semantics.

text: Atomic components There has been much interest in components that combine the best of state-based and event-based approaches. The interface of a component can be thought of as its specification and substituting components with the same interface cannot be observed by any user of the components. Here we will define the semantics of atomic components where both states and event can be part of the interface. The resulting semantics is very similar to that of (event only) processes. But it has two main novelties: one, it does not need recursion or unique fixed points to model nontermination; and two, the behaviour of divergence is modelled by abstraction, i.e. the construction of the observational semantics.

year: 2004-02

title: Z logic and its consequences

authors: Henson, Martin C.

subjects: Z  Logic

abstract: This paper provides an introduction to the specification language Z from a logical perspective. The possibility of presenting Z in this way is a consequence of a number of joint publications on Z logic that Henson and Reeves have co-written since 1997. We provide an information as well as formal introduction to Z logic and show how it may be used, and extended, to investigate issues such as equational logic, the logic of preconditions, the issue of monotonicity and both operation and data refinement.

text: Z logic and its consequences This paper provides an introduction to the specification language Z from a logical perspective. The possibility of presenting Z in this way is a consequence of a number of joint publications on Z logic that Henson and Reeves have co-written since 1997. We provide an information as well as formal introduction to Z logic and show how it may be used, and extended, to investigate issues such as equational logic, the logic of preconditions, the issue of monotonicity and both operation and data refinement.

year: 2003-06

title: Green or grey pandemic recovery? Revealing the blue–green infrastructure influences in Aotearoa-New Zealand’s “Shovel Ready” Covid-19 response

authors: Hanna, Christina Jane

abstract: This paper analyses Aotearoa-New Zealand’s “shovel-ready fund” to assess if, and how, blue–green infrastructure systems were present in bids from its largest city regions. Findings indicate a greater prevalence in areas with existing spatial plans, and while there was some consideration of climate resilience, there was no real acknowledgement of the pandemic or human health. More positively, there was some evidence of unique indigenous influences that have potential to develop more inclusive and holistic blue–green infrastructure initiatives. The overall response, however, demonstrates a disjointed approach to blue–green infrastructure-related projects, and a missed opportunity for a more transformative response to the climate crisis and human health emergencies.

text: Green or grey pandemic recovery? Revealing the blue–green infrastructure influences in Aotearoa-New Zealand’s “Shovel Ready” Covid-19 response This paper analyses Aotearoa-New Zealand’s “shovel-ready fund” to assess if, and how, blue–green infrastructure systems were present in bids from its largest city regions. Findings indicate a greater prevalence in areas with existing spatial plans, and while there was some consideration of climate resilience, there was no real acknowledgement of the pandemic or human health. More positively, there was some evidence of unique indigenous influences that have potential to develop more inclusive and holistic blue–green infrastructure initiatives. The overall response, however, demonstrates a disjointed approach to blue–green infrastructure-related projects, and a missed opportunity for a more transformative response to the climate crisis and human health emergencies.

year: 2022