@InProceedings{BK97b,
  author = 	 {C.~Baier and M.Z.~Kwiatkowska},
  title = 	 {Domain
      Equations for Probabilistic Processes},
  booktitle = 	 {4th Workshop on Expressiveness in
      Concurrency (EXPRESS'97), Santa Margherita},
  year =	 1997,
  volume =	 7,
  publisher =	 {Electronic Notes in
      Theoretical Computer Science}
}