Για την περιγραφή ενός κόμβου, η γλώσσα απαιτεί να έχει οριστεί ένας τύπος κόμβων, του οποίου ο κόμβος αποτελεί εμφάνιση (instance). Στα πλαίσια αυτής της εργασίας μελετήθηκαν συστήματα με μονοεπεξεργαστικούς (uniprocessor) κόμβους, αν και η γλώσσα προδιαγραφής επιτρέπει τον ορισμό κόμβων με περισσότερους επεξεργαστές οι οποίοι οργανώνονται σε μία αρχιτεκτονική τύπου UMA (Uniform Memory Access).