Relators and metric bisimulations (abstract only)

Authors:
J. J. M. M. Rutten
Affiliations:
-
Venue:
Theoretical Computer Science
Year:
1999

Citing 0
Cited 3

A Relation-Algebraic Theory of Bisimulations

Fundamenta Informaticae
Foundational, Compositional (Co)datatypes for Higher-Order Logic: Category Theory Applied to Theorem Proving

LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
A Relation-Algebraic Theory of Bisimulations

Fundamenta Informaticae

Quantified Score

Hi-index	5.23

Visualization

Abstract