Relations as Abstract Datatypes: An Institution to Specify Relations between Algebras

Authors:
Hubert Baumeister
Affiliations:
-
Venue:
TAPSOFT '95 Proceedings of the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Year:
1995

Citing 0
Cited 3

Invited Talk: Algebraic State Machines

AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Algebraic Imperative Specifications

PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
State-Based Extensions of CASL

IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract