@TechReport{barakat11,
  author =       "Kamal Barakat",
  title =        "Introducing Timers to $\pi$-Calculus",
  institution =  "RWTH Aachen",
  keywords = "formal models, domain specific languages, congruence and bisimulation, communicating processes",
  year =         "2011",
  number =       "AIB-2011-18",
  month =        aug,
  url =          "http://aib.informatik.rwth-aachen.de/2011/2011-18.ps.gz",
}