Bisimulations and Abstraction Homomorphisms
Authors:
Ilaria Castellani
Affiliations:
-
Venue:
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
Year:
1985
Citing
0
Cited
1
A Relation-Algebraic Theory of Bisimulations
Fundamenta Informaticae
Quantified Score
Hi-index
0.00
Visualization
Abstract