Three Metric Domains of Processes for Bisimulation

Franck van Breugel. Three Metric Domains of Processes for Bisimulation. In Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt, editors, Mathematical Foundations of Programming Semantics, 9th International Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings. Volume 802 of Lecture Notes in Computer Science, pages 103-121, Springer, 1993.

@inproceedings{Breugel93,
  title = {Three Metric Domains of Processes for Bisimulation},
  author = {Franck van Breugel},
  year = {1993},
  researchr = {https://researchr.org/publication/Breugel93},
  cites = {0},
  citedby = {0},
  pages = {103-121},
  booktitle = {Mathematical Foundations of Programming Semantics, 9th International Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings},
  editor = {Stephen D. Brookes and Michael G. Main and Austin Melton and Michael W. Mislove and David A. Schmidt},
  volume = {802},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-58027-1},
}