Composition of model interface. A theorem of model composition

MaRDI QIDQ2779015zbMATH OpenFDO

Authors Yadong Zhang, Hongchao Liu

Publication date 3 June 2002

Published in Chinese Quarterly Journal of Mathematics (Search for Journal in Brave)

zbMATH Keywords

order structuremodel compositionframe basesmodel interface

Mathematics Subject Classification ID

Recommendations

• An interface model of software components
• A modal interface theory for component-based design
• Composition of Model Programs
• The IITM model: a simple and expressive model for universal composability
• Foundations of compositional models: structural properties

Cited in

(5)

• All isomorphic distinct cases for multi-component interfaces in a block.
• scientific article; zbMATH DE number 2243361 (Why is no real title available?)
• Compositionality issues in discrete, continuous, and hybrid systems
• On compositional modelling
• Associative composition of components with double-sided interfaces

This page was built for publication: Composition of model interface. A theorem of model composition

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