Bisimulations and abstraction homomorphisms
Authors:
I Castellani
Affiliations:
-
Venue:
Proc. of the international joint conference on theory and practice of software development (TAPSOFT) Berlin, March 25-29, 1985 on Mathematical foundations of software development, Vol. 1: Colloquium on trees in algebra and programming (CAAP'85)
Year:
1985
Citing
0
Cited
1
A Relation-Algebraic Theory of Bisimulations
Fundamenta Informaticae
Quantified Score
Hi-index
0.00
Visualization
Abstract