@inproceedings{paper67,
  title = "Sequentiality vs. concurrency in games and logic",
  author = "S. Abramsky",
  year = "2003",
  booktitle = "Mathematical Structures in Computer Science",
  pages = "531-565",
  volume = "13",
}