TY - CHAP T1 - Behavioral Extensions of Institutions T2 - Algebra and Coalgebra in Computer Science UR - http://dx.doi.org/10.1007/11548133_21 PY - 2005/01/01 AU - Popescu A AU - Roşu G ED - DO - DOI: 10.1007/11548133_21 PB - Springer Berlin Heidelberg SN - 9783540286202 SP - 331 EP - 347 Y2 - 2024/12/26 ER -