Using Limits of Parchment to Systematically Construct Institutions of partial Algebras

Authors:
Till Mossakowski
Affiliations:
-
Venue:
Selected papers from the 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop on Recent Trends in Data Type Specification
Year:
1995

Relating CASL with other specification languages: the institution level

Theoretical Computer Science
Presentations for Abstract Context Institutions

WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
Combining Logics: Parchments Revisited

WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
The UniForM Workbench, a Universal Development Environment for Formal Methods

FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Cryptomorphisms at work

WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques

Hi-index	0.00