@inproceedings{PavlovicD:CCPS1,
  title = "Convenient categories of processes and simulations {I}: modulo strong bisimilarity",
  author = "Dusko Pavlovic",
  year = "1995",
  booktitle = "Category Theory and Computer Science '95",
  editor = "D.~Pitt et al.",
  pages = "3--24",
  publisher = "Springer Verlag",
  series = "Lecture Notes in Computer Science",
  url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/CCPS1.ps",
  volume = "953",
}