@inproceedings{paper60,
  author = "B. Thomsen and S. Abramsky",
  booktitle = "Theoretical Computer Science",
  pages = "557-589",
  title = "A fully abstract denotational semantics for the calculus of higher-order communicating systems",
  volume = "254",
  year = "2001",
}