Journal of the ACM (JACM)
STACS 91 Proceedings of the 8th annual symposium on Theoretical aspects of computer science
Bisimulation through probabilistic testing
Information and Computation
Relations and graphs: discrete mathematics for computer scientists
Relations and graphs: discrete mathematics for computer scientists
Fuzzy Sets and Systems - Special issue on fuzzy relations, part 1
A complete axiomatization of timed bisimulation for a class of timed regular behaviours
Theoretical Computer Science
Algebra of programming
Heterogeneous relation algebra
Relational methods in computer science
Relators and metric bisimulations (abstract only)
Theoretical Computer Science
Relational methods for computer science applications
Communication and Concurrency
On the Proof Method for Bisimulation (Extended Abstract)
MFCS '95 Proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science
Bisimulations and Abstraction Homomorphisms
CAAP '85 Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Volume 1: Colloquium on Trees in Algebra and Programming: Mathematical Foundations of Software Development
Goguen Categories: A Categorical Approach to L-fuzzy Relations
Goguen Categories: A Categorical Approach to L-fuzzy Relations
A Semiring Approach to Equivalences, Bisimulations and Control
RelMiCS '09/AKA '09 Proceedings of the 11th International Conference on Relational Methods in Computer Science and 6th International Conference on Applications of Kleene Algebra: Relations and Kleene Algebra in Computer Science
An ordered category of processes
RelMiCS'08/AKA'08 Proceedings of the 10th international conference on Relational and kleene algebra methods in computer science, and 5th international conference on Applications of kleene algebra
Using bisimulations for optimality problems in model refinement
RAMICS'11 Proceedings of the 12th international conference on Relational and algebraic methods in computer science
Two observations in dioid based model refinement
RAMiCS'12 Proceedings of the 13th international conference on Relational and Algebraic Methods in Computer Science
Hi-index | 0.00 |
In this paper we develop an algebraic/categorical theory of bisimulations using relational methods. We define a general notion, which is capable of handeling different version of bisimilarity in a common context. Furthermore, the approach relates bisimulations with the notion of a covering known from the theory of graphs and their applications in topology and complex analysis.