Text this: Reasoning about equilibria in game-like concurrent systems