@inproceedings{paper70,
  title = "Nominal games and Full Abstraction for the Nu-Calculus",
  author = "S. Abramsky and D. Ghica and A. Murawski and C.-H. Ong and I. Stark",
  year = "2004",
  booktitle = "Proceedings of the 19th Annual {IEEE} Symposium on Logic in Computer Science: LICS 2004",
  pages = "150-159",
  publisher = "{IEEE} Computer Society",
}