scientific article; zbMATH DE number 810100

MaRDI QIDQ4853312zbMATH OpenFDO

Authors Bart Jacobs

Publication date 13 February 1996

zbMATH Keywords

Hagino specifications

Mathematics Subject Classification ID

Categories of machines, automata (18B20) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Compositionality and compatibility of parameterization and parameter passing in specification languages
• A parameterization process: from a functorial point of view
• scientific article; zbMATH DE number 3976306
• Functorial theory of parameterized specifications in a general specification framework
• scientific article; zbMATH DE number 3876566

Cited in

(9)

• Structural induction and coinduction in a fibrational setting
• Functorial theory of parameterized specifications in a general specification framework
• scientific article; zbMATH DE number 1617307 (Why is no real title available?)
• Van Kampen colimits as bicolimits in Span
• A parameterization process: from a functorial point of view
• Categorical concepts for parameterized partial specifications
• Decomposing typed lambda calculus into a couple of categorical programming languages
• Mongruences and cofree coalgebras
• scientific article; zbMATH DE number 2217814 (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 Q4853312)