@inproceedings{PavlovicD:CCPS2,
  title = "Convenient categories of processes and simulations {II}: modulo weak and branching bisimilarities",
  author = "Dusko Pavlovic",
  year = "1996",
  booktitle = "Theory and Formal Methods of Computing 96",
  editor = "A.~Edalat et al.",
  pages = "156--167",
  publisher = "World Scientific",
  url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/CCPS2.ps",
}