ADA and NIL: two Concurrent Languages for GKS