@InProceedings{BergerM:dislivatfmp,
  author = 	 {Martin Berger and Nobuko Yoshida},
  title = 	 {Distributed Liveness and Timers for Mobile Processes},
  booktitle =	 {Proc.~QAPL},
  year =	 2007
}