Open maps as a bridge between algebraic observational equivalence and bisimilarity

Coalgebra morphisms subsume open maps

Theoretical Computer Science

Weak Bisimilarity and Open Maps

SOFSEM '98 Proceedings of the 25th Conference on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics

Observability Concepts in Abstract Data Type Specification, 30 Years Later

Concurrency, Graphs and Models

Linking algebraic observational equivalence and bisimulation

DLT'10 Proceedings of the 14th international conference on Developments in language theory