@InProceedings{BergerM:timdisptp,
  author = 	 {Martin Berger and Nobuko Yoshida},
  title = 	 {Timed, Distributed, Probabilistic, Typed Processes},
  booktitle =	 {Proc.~APLAS},
  volume =	 4807,
  series =	 {LNCS},
  pages = 	 {158--174},
  year =	 2007,
  note =	 {To Appear}
}