Integration of Categorical Frameworks: Rule-Based Refinement and Hierarchical Composition for Components

Padberg, Julia

doi:10.1007/s10485-007-9105-4

Publisher DOI:	10.1007/s10485-007-9105-4
Title:	Integration of Categorical Frameworks: Rule-Based Refinement and Hierarchical Composition for Components
Authors:	Padberg, Julia
Issue Date:	2008
Journal or Series Name:	Applied categorical structures : a journal devoted to applications of categorical methods in algebra, analysis, order, topology and computer science
Volume:	16
Issue:	3
Startpage:	333
Endpage:	364
URI:	http://hdl.handle.net/20.500.12738/12
ISSN:	1572-9095
Institute:	Technische Universität Berlin
Type:	Article
Appears in Collections:	Publications without full text