Using Limits of Parchments to Systematically Construct Institutions of Partial Algebras (1996)

by Till Mossakowski
Venue:Recent Trends in Data Type Specifications. 11th Workshop on Specification of Abstract Data Types, volume 1130 of Lecture Notes in Computer Science
Citations:15 - 5 self

Document Versions

Using Limits of Parchments to Systematically Construct Institutions of Partial Algebras –Till Mossakowski — 1996 — Recent Trends in Data Type Specifications. 11th Workshop on Specification of Abstract Data Types, volume 1130 of Lecture Notes in Computer Science