Sequentiality vs. concurrency in games and logic