Concurrent programming in VISOEfficient convex elastic net algorithm to solve the Euclidean traveling salesman problemFormal semantics of visual occamMRG parser for visual languages