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: Book review: Global Salafism: Islam's New Religious Movement – Edited by Roel Meijer

authors: Pratt, Douglas

subjects: book review

abstract: This article reviews the book “Global Salafism: Islam's New Religious Movement”, by Roel Meijer.

text: Book review: Global Salafism: Islam's New Religious Movement – Edited by Roel Meijer This article reviews the book “Global Salafism: Islam's New Religious Movement”, by Roel Meijer.

year: 2011

title: Te hau mihi ata mātauranga Māori and science - Cross cultural dialogue

authors: Joseph, Robert

abstract: The Te Hau Mihi Ata Mātauranga Māori and Science research project (the research project) will explore ways to link mātauranga Māori and western science. The purpose of the research project is to open a new creative knowledge space to unleash innovative thinking and cross-cultural connection that is unique to New Zealand which can be a source of untapped economic, social, environmental and cultural potential. The historic marginalisation of alternative value and knowledge systems has prevented quality engagement and dialogue between these two knowledge systems in New Zealand. The research project will develop, inter alia, a new inter-cultural dialogue process between Māori educated in western-based science and experts in mātauranga Māori.

text: Te hau mihi ata mātauranga Māori and science - Cross cultural dialogue The Te Hau Mihi Ata Mātauranga Māori and Science research project (the research project) will explore ways to link mātauranga Māori and western science. The purpose of the research project is to open a new creative knowledge space to unleash innovative thinking and cross-cultural connection that is unique to New Zealand which can be a source of untapped economic, social, environmental and cultural potential. The historic marginalisation of alternative value and knowledge systems has prevented quality engagement and dialogue between these two knowledge systems in New Zealand. The research project will develop, inter alia, a new inter-cultural dialogue process between Māori educated in western-based science and experts in mātauranga Māori.

year: 2008-11