Sequentiality vs. Concurrency in Games and Logic