Seol mar théacs é seo: Gyve, a programming language for protection and control in a concurrent processing environment / Philip Shaw.