Semantics of (Resilient) X10