title: Revising Z: part I - logic and semantics

authors: Henson, Martin C.

subjects: specification language Z

abstract: This is the first of two related papers. We introduce a simple specification logic ZC comprising a logic and a semantics (in ZF set theory) within which the logic is sound. We then provide an interpretation for (a rational reconstruction of) the specification language Z within ZC. As a result we obtain a sound logic for Z, including a basic schema calculus.

text: Revising Z: part I - logic and semantics This is the first of two related papers. We introduce a simple specification logic ZC comprising a logic and a semantics (in ZF set theory) within which the logic is sound. We then provide an interpretation for (a rational reconstruction of) the specification language Z within ZC. As a result we obtain a sound logic for Z, including a basic schema calculus.

year: 1999-12-01

title: A comparison of ruthenium-catalysed arene hydrogenation reactions in water and 1-alkyl-3-methylimidazolium tetrafluoroborate ionic liquids

authors: Dyson, Paul J.

subjects: arenes

abstract: The hydrogenation of benzene and other arene substrates under biphasic conditions is evaluated using the catalyst precursor Ru(n₆-C₁₀H₁₄)(pta)Cl₂(pta=1,3,5-triaza-7-phosphaadamantane) immobilised in water and 1-alkyl-3-methylimidazolium
tetrafluoroborate ionic liquids. The effect that contamination of the 1-alkyl-3-methylimidazolium tetrafluoroborate ionic liquids with chloride has on the hydrogenation reaction has also been examined. Of the immobilisation solvents tested the optimum solvent was found to be chloride-free 1- butyl-3-methylimidazolium tetrafluoroborate. Catalytic turnovers in this solvent are highest, and in general, turnovers for the hydrogenation reactions follow the trend: chloride-free 1-butyl-3-methylimidazolium tetrafluoroborate > water > chloridecontaminated 1-butyl-3-methylimidazolium tetrafluoroborate.

text: A comparison of ruthenium-catalysed arene hydrogenation reactions in water and 1-alkyl-3-methylimidazolium tetrafluoroborate ionic liquids The hydrogenation of benzene and other arene substrates under biphasic conditions is evaluated using the catalyst precursor Ru(n₆-C₁₀H₁₄)(pta)Cl₂(pta=1,3,5-triaza-7-phosphaadamantane) immobilised in water and 1-alkyl-3-methylimidazolium
tetrafluoroborate ionic liquids. The effect that contamination of the 1-alkyl-3-methylimidazolium tetrafluoroborate ionic liquids with chloride has on the hydrogenation reaction has also been examined. Of the immobilisation solvents tested the optimum solvent was found to be chloride-free 1- butyl-3-methylimidazolium tetrafluoroborate. Catalytic turnovers in this solvent are highest, and in general, turnovers for the hydrogenation reactions follow the trend: chloride-free 1-butyl-3-methylimidazolium tetrafluoroborate > water > chloridecontaminated 1-butyl-3-methylimidazolium tetrafluoroborate.

year: 2003

title: Working to End Racial Oppression: Project findings

authors: Waitoki, Moana

abstract: WERO webinar hosted by Māori and Indigenous Analysis Ltd & AATEA Solutions.

text: Working to End Racial Oppression: Project findings WERO webinar hosted by Māori and Indigenous Analysis Ltd & AATEA Solutions.

year: 2025