@techReport{gr:deterministic-closeness-responsiveness,
  author       = {Maxime Gamboni and António Ravara},
  title        = {Deterministic Responsiveness and Closeness in $\pi$-calculus },
  institution  = {SQIG | IT and IST, Technical University of Lisbon, Portugal},
  year         = 2006,
  note         = {http://gamboni.org/files/determ.pdf}
}