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]

Authors

Marcelo P. Fiore

This author has not been identified. Look up 'Marcelo P. Fiore' in Google

Gian Luca Cattani

This author has not been identified. Look up 'Gian Luca Cattani' in Google

Glynn Winskel

This author has not been identified. Look up 'Glynn Winskel' in Google