(CTL) The intermediate language used by the href="module.php?name=Lexikon&file=search&eid=1&query=ALICE">ALICE parallel machine. ["The Design and Implementation of ALICE: A Parallel Graph Reduction Machine", M.D. Cripps et al, Proc Workshop on Graph Reduction, Springer 1987]. (1994-11-14)