A Uniform Model Theory for the Specification of Data and Process Types
Authors:
Horst Reichel
Affiliations:
-
Venue:
WADT '99 Selected papers from the 14th International Workshop on Recent Trends in Algebraic Development Techniques
Year:
1999
Citing
0
Cited
1
Diagrammatic specifications
Mathematical Structures in Computer Science
Quantified Score
Hi-index
0.00
Visualization
Abstract