scientific article; zbMATH DE number 4164154

MaRDI QIDQ3490966zbMATH OpenFDO

Authors Horst Hansen, Michael Löwe

Publication date 1989

zbMATH Keywords

algebraic specificationsmodule specifications

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 3956412
• scientific article; zbMATH DE number 3862416
• scientific article; zbMATH DE number 3972172
• Publication:4732088
• Algebraic specification of modules and their basic interconnections
• Modular specification of process algebras
• scientific article; zbMATH DE number 194509
• Modular properties of algebraic type systems
• scientific article; zbMATH DE number 1617303
• On the algebra of structured specifications

Cited in

(1)

• scientific article; zbMATH DE number 1231664 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3490966)