Weak Bisimulation and Open Maps

Marcelo P. Fiore, Gian Luca Cattani, Glynn Winskel. Weak Bisimulation and Open Maps. In Proceedings, 14th Annual IEEE Symposium on Logic in Computer Science, 2-5 July, 1999, Trento, Italy. pages 67-76, IEEE Computer Society, 1999. [doi]

@inproceedings{FioreCW99,
  title = {Weak Bisimulation and Open Maps},
  author = {Marcelo P. Fiore and Gian Luca Cattani and Glynn Winskel},
  year = {1999},
  url = {http://computer.org/conferen/proceed/lics/0158/01580067abs.htm},
  tags = {source-to-source, open-source},
  researchr = {https://researchr.org/publication/FioreCW99},
  cites = {0},
  citedby = {0},
  pages = {67-76},
  booktitle = {Proceedings, 14th Annual IEEE Symposium on Logic in Computer Science, 2-5 July, 1999, Trento, Italy},
  publisher = {IEEE Computer Society},
}